--- a/lib/Tools/java Mon Mar 26 11:15:41 2012 +0200
+++ b/lib/Tools/java Sat Mar 24 20:24:16 2012 +0100
@@ -6,7 +6,7 @@
CLASSPATH="$(jvmpath "$CLASSPATH")"
-JAVA_EXE="${THIS_JAVA:-$ISABELLE_JAVA}"
+JAVA_EXE="$ISABELLE_JDK_HOME/bin/java"
if "$JAVA_EXE" -version >/dev/null 2>/dev/null; then
: