diff -r 949e2cf02a3d -r 4e49bba9772d src/Pure/System/gui_setup.scala
--- a/src/Pure/System/gui_setup.scala	Thu Apr 04 17:58:47 2013 +0200
+++ b/src/Pure/System/gui_setup.scala	Thu Apr 04 18:06:48 2013 +0200
@@ -17,7 +17,7 @@
 {
   def startup(args: Array[String]) =
   {
-    Platform.init_laf()
+    GUI.init_laf()
     top.pack()
     top.visible = true
   }