diff -r 949e2cf02a3d -r 4e49bba9772d src/Pure/Tools/main.scala
--- a/src/Pure/Tools/main.scala	Thu Apr 04 17:58:47 2013 +0200
+++ b/src/Pure/Tools/main.scala	Thu Apr 04 18:06:48 2013 +0200
@@ -15,7 +15,7 @@
   {
     val (out, rc) =
       try {
-        Platform.init_laf()
+        GUI.init_laf()
         Isabelle_System.init()
         Isabelle_System.isabelle_tool("jedit", ("-s" :: args.toList): _*)
       }