src/Tools/jEdit/jedit_main/scala_console.scala

       scala.Console.withErr(console_stream) {
         scala.Console.withOut(console_stream) { e }
       }
     }
     finally {
-      console_stream.flush
+      console_stream.flush()
       global_console = null
       global_out = null
       global_err = null
     }
   }