merged

--- a/lib/Tools/getenv	Sun Apr 22 19:18:26 2012 +0200
+++ b/lib/Tools/getenv	Sun Apr 22 19:44:40 2012 +0200
@@ -76,6 +76,7 @@
 fi
 
 if [ -n "$DUMP" ]; then
+  export PATH_JVM="$(jvmpath "$PATH")"
   exec perl -w -e 'for $key (keys %ENV) { print $key, "=", $ENV{$key}, "\x00"; }' > "$DUMP"
 fi
 

--- a/src/Pure/System/isabelle_system.scala	Sun Apr 22 19:18:26 2012 +0200
+++ b/src/Pure/System/isabelle_system.scala	Sun Apr 22 19:44:40 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))