tuned;

--- a/src/Pure/Tools/main.scala	Wed Sep 16 21:56:00 2015 +0200
+++ b/src/Pure/Tools/main.scala	Wed Sep 16 22:09:01 2015 +0200
@@ -29,7 +29,7 @@
       system_dialog.join_exit
     }
 
-    def build
+    def build()
     {
       try {
         GUI.init_laf()
@@ -74,7 +74,7 @@
       catch { case exn: Throwable => exit_error(exn) }
     }
 
-    def start
+    def start()
     {
       val do_start =
       {
@@ -161,9 +161,9 @@
       }
     }
 
-    build
+    build()
     val rc = system_dialog.join
-    if (rc == 0) start else sys.exit(rc)
+    if (rc == 0) start() else sys.exit(rc)
   }