diff -r 60b6c759134f -r e1b4b14ded58 bin/isabelle_java
--- a/bin/isabelle_java	Fri Oct 05 17:49:10 2018 +0200
+++ b/bin/isabelle_java	Fri Oct 05 23:49:12 2018 +0200
@@ -67,7 +67,6 @@
     unset ISABELLE_HOME
     unset CLASSPATH
     exec "$JAVA_HOME/bin/java" "${JAVA_ARGS[@]}" \
-      "-Djava.ext.dirs=$JAVA_HOME/lib/ext" \
       -classpath "$ISABELLE_CLASSPATH" "$@"
   fi
 }