lib/Tools/scala

--- a/lib/Tools/scala	Sun May 24 19:45:42 2020 +0200
+++ b/lib/Tools/scala	Sun May 24 20:35:24 2020 +0200
@@ -13,5 +13,9 @@
   SCALA_ARGS["${#SCALA_ARGS[@]}"]="-J$ARG"
 done
 
+[ -n "$CLASSPATH" ] && classpath "$CLASSPATH"
+unset CLASSPATH
+
 isabelle_scala scala "${SCALA_ARGS[@]}" \
-  -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"
+  -classpath "$(platform_path "$ISABELLE_CLASSPATH")" \
+  -Disabelle.scala.classpath="$(platform_path "$ISABELLE_CLASSPATH")" "$@"