diff -r 4b867f6a65d3 -r 7d12a7e3cc55 lib/scripts/getsettings
--- a/lib/scripts/getsettings	Mon Aug 18 17:57:06 2008 +0200
+++ b/lib/scripts/getsettings	Thu Aug 21 13:05:28 2008 +0200
@@ -48,8 +48,10 @@
 if [ "$OSTYPE" = cygwin ]; then
   CLASSPATH="$(cygpath -u -p "$CLASSPATH")"
   function jvmpath() { cygpath -w -p "$@"; }
+  ISABELLE_ROOT_JVM="/"
 else
   function jvmpath() { echo "$@"; }
+  ISABELLE_ROOT_JVM="$(jvmpath "/")"
 fi
 
 #CLASSPATH convenience
@@ -82,10 +84,6 @@
 
 ISABELLE_OUTPUT="$ISABELLE_OUTPUT/$ML_IDENTIFIER"
 
-#JVM settings
-ISABELLE_HOME_JVM="$(jvmpath "$ISABELLE_HOME")"
-ISABELLE_HOME_USER_JVM="$(jvmpath "$ISABELLE_HOME_USER")"
-
 set +o allexport
 
 fi