diff -r bf8f92bdf630 -r fbac01813bff Isabelle
--- a/Isabelle	Tue Nov 16 21:54:52 2010 +0100
+++ b/Isabelle	Tue Nov 16 22:13:54 2010 +0100
@@ -24,6 +24,6 @@
 [ -e "$ISABELLE_HOME/Admin/build" ] && "$ISABELLE_HOME/Admin/build" jars
 
 CLASSPATH="$(jvmpath "$CLASSPATH")"
-exec "$ISABELLE_JAVA" \
+exec "$ISABELLE_TOOL" java \
   "-Disabelle.home=$(jvmpath "$ISABELLE_HOME")" \
   -jar "$(jvmpath "$ISABELLE_HOME/lib/classes/isabelle-scala.jar")" "$@"