diff -r 2c585bb9560c -r 995162143ef4 src/Pure/System/isabelle_font.scala
--- a/src/Pure/System/isabelle_font.scala	Thu Feb 20 14:17:28 2014 +0100
+++ b/src/Pure/System/isabelle_font.scala	Thu Feb 20 14:36:17 2014 +0100
@@ -6,6 +6,7 @@
 
 package isabelle
 
+
 import java.awt.{GraphicsEnvironment, Font}
 import java.io.{FileInputStream, BufferedInputStream}
 import javafx.scene.text.{Font => JFX_Font}