src/Pure/System/isabelle_process.scala

 
 import java.util.{Map => JMap}
 import java.io.{File => JFile}
 
 
-object Isabelle_Process
-{
+object Isabelle_Process {
   def start(
     session: Session,
     options: Options,
     sessions_structure: Sessions.Structure,
     store: Sessions.Store,

     raw_ml_system: Boolean = false,
     use_prelude: List[String] = Nil,
     eval_main: String = "",
     modes: List[String] = Nil,
     cwd: JFile = null,
-    env: JMap[String, String] = Isabelle_System.settings()): Isabelle_Process =
-  {
+    env: JMap[String, String] = Isabelle_System.settings()
+  ): Isabelle_Process = {
     val channel = System_Channel()
     val process =
       try {
         val channel_options =
           options.string.update("system_channel_address", channel.address).

 
     isabelle_process
   }
 }
 
-class Isabelle_Process private(session: Session, process: Bash.Process)
-{
+class Isabelle_Process private(session: Session, process: Bash.Process) {
   private val startup = Future.promise[String]
   private val terminated = Future.promise[Process_Result]
 
   session.phase_changed +=
     Session.Consumer(getClass.getName) {

     startup.join match {
       case "" => this
       case err => session.stop(); error(err)
     }
 
-  def await_shutdown(): Process_Result =
-  {
+  def await_shutdown(): Process_Result = {
     val result = terminated.join
     session.stop()
     result
   }