diff -r 7fc36b4c7cce -r 1937603dbdf2 src/Pure/build-jars
--- a/src/Pure/build-jars	Tue Aug 12 00:23:30 2014 +0200
+++ b/src/Pure/build-jars	Tue Aug 12 12:06:22 2014 +0200
@@ -20,7 +20,7 @@
   GUI/gui.scala
   GUI/gui_thread.scala
   GUI/html5_panel.scala
-  GUI/jfx_thread.scala
+  GUI/jfx_gui.scala
   GUI/popup.scala
   GUI/system_dialog.scala
   GUI/wrap_panel.scala
@@ -72,7 +72,6 @@
   System/command_line.scala
   System/invoke_scala.scala
   System/isabelle_charset.scala
-  System/isabelle_font.scala
   System/isabelle_process.scala
   System/isabelle_system.scala
   System/options.scala