diff -r 6f60110e317c -r 31523791345a lib/scripts/getsettings
--- a/lib/scripts/getsettings	Fri Aug 15 23:10:36 2008 +0200
+++ b/lib/scripts/getsettings	Fri Aug 15 23:31:37 2008 +0200
@@ -55,6 +55,7 @@
   function javawrapper() { java "$@"; }
   function scalawrapper() { scala "$@"; }
 fi
+ISABELLE_HOME_JVM="$(jvmpath "$ISABELLE_HOME")"
 
 #CLASSPATH convenience
 function classpath () {