added ISABELLE_ROOT_JVM;
removed obsolete ISABELLE_HOME_JVM, ISABELLE_HOME_USER_JVM;

--- 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