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