--- a/lib/Tools/java Wed Sep 11 23:32:47 2013 +0200
+++ b/lib/Tools/java Thu Sep 12 13:23:54 2013 +0200
@@ -4,9 +4,8 @@
#
# DESCRIPTION: invoke Java within the Isabelle environment
-CLASSPATH="$(jvmpath "$CLASSPATH")"
+declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)"
-declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)"
isabelle_jdk java "${JAVA_ARGS[@]}" \
- "-Djava.ext.dirs=$(jvmpath "$ISABELLE_JAVA_EXT:$ISABELLE_HOME/lib/classes/ext")" "$@"
+ -classpath "$(jvmpath "$ISABELLE_CLASSPATH")" "$@"