diff -r a42a5129df91 -r 00916b0dd596 lib/Tools/java
--- a/lib/Tools/java	Mon Oct 27 16:00:04 2014 +0100
+++ b/lib/Tools/java	Mon Oct 27 16:11:24 2014 +0100
@@ -9,6 +9,6 @@
 [ -n "$CLASSPATH" ] && classpath "$CLASSPATH"
 unset CLASSPATH
 
-isabelle_jdk java "${JAVA_ARGS[@]}" \
+isabelle_java java "${JAVA_ARGS[@]}" \
   -classpath "$(jvmpath "$ISABELLE_CLASSPATH")" "$@"