src/Pure/System/isabelle_system.scala

--- a/src/Pure/System/isabelle_system.scala	Thu Jul 05 16:03:09 2012 +0200
+++ b/src/Pure/System/isabelle_system.scala	Thu Jul 05 16:11:33 2012 +0200
@@ -50,8 +50,7 @@
       val standard_system = new Standard_System
       val settings =
       {
-        val env0 = Map(System.getenv.toList: _*) +
-          ("ISABELLE_JDK_HOME" -> standard_system.this_jdk_home())
+        val env0 = sys.env + ("ISABELLE_JDK_HOME" -> standard_system.this_jdk_home())
 
         val user_home = System.getProperty("user.home")
         val env =