bin/isabelle_java
changeset 69126 e1b4b14ded58
parent 67490 982f0bf34804
     1.1 --- a/bin/isabelle_java	Fri Oct 05 17:49:10 2018 +0200
     1.2 +++ b/bin/isabelle_java	Fri Oct 05 23:49:12 2018 +0200
     1.3 @@ -67,7 +67,6 @@
     1.4      unset ISABELLE_HOME
     1.5      unset CLASSPATH
     1.6      exec "$JAVA_HOME/bin/java" "${JAVA_ARGS[@]}" \
     1.7 -      "-Djava.ext.dirs=$JAVA_HOME/lib/ext" \
     1.8        -classpath "$ISABELLE_CLASSPATH" "$@"
     1.9    fi
    1.10  }