changeset 58791 | 00916b0dd596 |
parent 53584 | 1f3815703436 |
child 61294 | 2d3d26e9b191 |
--- 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")" "$@"