diff -r b1cd02f2d534 -r 71d5f37ee2bf lib/Tools/java
--- a/lib/Tools/java	Sat Apr 14 13:05:59 2012 +0200
+++ b/lib/Tools/java	Sat Apr 14 14:36:36 2012 +0200
@@ -12,6 +12,6 @@
   SERVER=""
 fi
 
-exec "$ISABELLE_JDK_HOME/bin/java" -Dfile.encoding=UTF-8 $SERVER \
+isabelle_jdk java -Dfile.encoding=UTF-8 $SERVER \
   "-Djava.ext.dirs=$("$ISABELLE_HOME/src/Tools/JVM/java_ext_dirs")" "$@"