diff -r c13198575f75 -r b4f57bfe82e7 lib/scripts/getfunctions
--- a/lib/scripts/getfunctions	Sat Jul 17 23:09:54 2021 +0200
+++ b/lib/scripts/getfunctions	Sun Jul 18 12:48:31 2021 +0200
@@ -211,22 +211,6 @@
 }
 export -f isabelle_directory
 
-#Isabelle/Scala/Java build
-function isabelle_scala_build ()
-{
-  rm -rf \
-    "$ISABELLE_HOME/lib/classes/Pure.jar" \
-    "$ISABELLE_HOME/lib/classes/Pure.shasum" \
-    "$ISABELLE_HOME/src/Tools/jEdit/dist"
-  if [ "$1" = "fresh" ]; then
-    CMD="build_fresh"
-  else
-    CMD="build"
-  fi
-  env ISABELLE_SETUP_CLASSPATH_SKIP=true isabelle java isabelle.setup.Setup "$CMD"
-}
-export -f isabelle_scala_build
-
 #arrays
 function splitarray ()
 {