1.1 --- a/Isabelle	Tue Nov 16 21:54:52 2010 +0100
     1.2 +++ b/Isabelle	Tue Nov 16 22:13:54 2010 +0100
     1.3 @@ -24,6 +24,6 @@
     1.4  [ -e "$ISABELLE_HOME/Admin/build" ] && "$ISABELLE_HOME/Admin/build" jars
     1.5  
     1.6  CLASSPATH="$(jvmpath "$CLASSPATH")"
     1.7 -exec "$ISABELLE_JAVA" \
     1.8 +exec "$ISABELLE_TOOL" java \
     1.9    "-Disabelle.home=$(jvmpath "$ISABELLE_HOME")" \
    1.10    -jar "$(jvmpath "$ISABELLE_HOME/lib/classes/isabelle-scala.jar")" "$@"