src/Pure/System/isabelle_system.scala

--- a/src/Pure/System/isabelle_system.scala	Sun Apr 22 16:33:41 2012 +0200
+++ b/src/Pure/System/isabelle_system.scala	Sun Apr 22 19:04:30 2012 +0200
@@ -74,12 +74,12 @@
               if (rc != 0) error(output)
 
               val entries =
-                for (entry <- Source.fromFile(dump).mkString split "\0" if entry != "") yield {
+                (for (entry <- Source.fromFile(dump).mkString split "\0" if entry != "") yield {
                   val i = entry.indexOf('=')
                   if (i <= 0) (entry -> "")
                   else (entry.substring(0, i) -> entry.substring(i + 1))
-                }
-              Map(entries: _*) + ("PATH" -> System.getenv("PATH"))
+                }).toMap
+              entries + ("PATH" -> entries("PATH_JVM")) - "PATH_JVM"
             }
           }
       _state = Some(State(standard_system, settings))