changeset 67490 | 982f0bf34804 |
parent 66906 | 03a96b8c7c06 |
child 69126 | e1b4b14ded58 |
--- a/bin/isabelle_java Mon Jan 22 22:45:45 2018 +0100 +++ b/bin/isabelle_java Tue Jan 23 16:37:57 2018 +0100 @@ -66,6 +66,8 @@ else unset ISABELLE_HOME unset CLASSPATH - exec "$JAVA_HOME/bin/java" "${JAVA_ARGS[@]}" -classpath "$ISABELLE_CLASSPATH" "$@" + exec "$JAVA_HOME/bin/java" "${JAVA_ARGS[@]}" \ + "-Djava.ext.dirs=$JAVA_HOME/lib/ext" \ + -classpath "$ISABELLE_CLASSPATH" "$@" fi }