obsolete (see b4e6b82fdb9e);

--- a/lib/Tools/scala_build	Sun Aug 27 19:14:04 2023 +0200
+++ b/lib/Tools/scala_build	Tue Aug 29 12:04:13 2023 +0200
@@ -51,12 +51,6 @@
 
 ## main
 
-#remove historic material
-rm -rf \
-  "$ISABELLE_HOME/lib/classes/Pure.jar" \
-  "$ISABELLE_HOME/lib/classes/Pure.shasum" \
-  "$ISABELLE_HOME/src/Tools/jEdit/dist"
-
 classpath "$CLASSPATH"; export CLASSPATH=""
 
 eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS)"