# HG changeset patch
# User wenzelm
# Date 1457869464 -3600
# Node ID cf48f41a92789ad46efc894df20838ae4d12a38d
# Parent  dc7cc407c911b3663ded655aeed84fed982158c3
clarified env;

diff -r dc7cc407c911 -r cf48f41a9278 src/Pure/System/isabelle_system.scala
--- 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
   }