diff -r 8493d5d0e9b6 -r b5a5662528fb lib/Tools/java
--- 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
   :