src/Pure/System/bash.scala

       cmd.add("/usr/bin/env")
       cmd.add("bash")
     }
     cmd.add("-c")
     cmd.add("kill -" + signal + " -" + group_pid)
-    isabelle.setup.Isabelle_Env.exec_process(cmd).ok
+    isabelle.setup.Environment.exec_process(cmd, null, null, false).ok
   }
 
   def process(script: String,
       cwd: JFile = null,
       env: JMap[String, String] = Isabelle_System.settings(),

 
     private val script_file: JFile = Isabelle_System.tmp_file("bash_script")
     File.write(script_file, winpid_script)
 
     private val proc =
-      isabelle.setup.Isabelle_Env.process_builder(
+      isabelle.setup.Environment.process_builder(
         JList.of(File.platform_path(Path.variable("ISABELLE_BASH_PROCESS")),
           File.standard_path(timing_file), "bash", File.standard_path(script_file)),
-        cwd = cwd, env = env, redirect = redirect).start()
+        cwd, env, redirect).start()
 
 
     // channels
 
     val stdin: BufferedWriter =