--- a/src/Pure/System/isabelle_system.scala Sun Mar 13 12:39:12 2016 +0100
+++ b/src/Pure/System/isabelle_system.scala Sun Mar 13 12:44:24 2016 +0100
@@ -182,15 +182,10 @@
env: Map[String, String] = settings(),
redirect: Boolean = false): Process =
{
- val cmdline = new java.util.LinkedList[String]
- for (s <- command_line) cmdline.add(s)
-
- val proc = new ProcessBuilder(cmdline)
+ val proc = new ProcessBuilder
+ proc.command(command_line:_*) // fragile on Windows
if (cwd != null) proc.directory(cwd)
- if (env != null) {
- proc.environment.clear
- for ((x, y) <- env) proc.environment.put(x, y)
- }
+ proc.environment.clear; for ((x, y) <- env) proc.environment.put(x, y)
proc.redirectErrorStream(redirect)
proc.start
}