src/Pure/System/isabelle_process.scala

           logic = logic, raw_ml_system = raw_ml_system,
           use_prelude = use_prelude, eval_main = eval_main,
           modes = modes, cwd = cwd, env = env)
       }
       catch { case exn @ ERROR(_) => channel.shutdown(); throw exn }
-    process.stdin.close
+    process.stdin.close()
 
     new Isabelle_Process(session, channel, process)
   }
 }
 

     val result = terminated.join
     session.stop()
     result
   }
 
-  def terminate: Unit = process.terminate
+  def terminate(): Unit = process.terminate()
 }