diff -r 027fb21bdd5d -r b4e6b82fdb9e lib/scripts/getfunctions
--- a/lib/scripts/getfunctions	Fri Jul 16 12:59:10 2021 +0200
+++ b/lib/scripts/getfunctions	Fri Jul 16 13:18:54 2021 +0200
@@ -211,14 +211,21 @@
 }
 export -f isabelle_directory
 
-#administrative build
-function isabelle_admin_build ()
+#Isabelle/Scala/Java build
+function isabelle_scala_build ()
 {
-  if [ -e "$ISABELLE_HOME/Admin/build" ]; then
-    "$ISABELLE_HOME/Admin/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_admin_build
+export -f isabelle_scala_build
 
 #arrays
 function splitarray ()