--- a/lib/Tools/scala Mon Jan 22 22:45:45 2018 +0100
+++ b/lib/Tools/scala Tue Jan 23 16:37:57 2018 +0100
@@ -14,4 +14,5 @@
done
isabelle_scala scala "${SCALA_ARGS[@]}" \
+ "-Djava.ext.dirs=$(platform_path "$ISABELLE_JDK_HOME/jre/lib/ext")" \
-classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"