diff -r 027fb21bdd5d -r b4e6b82fdb9e lib/Tools/scala
--- a/lib/Tools/scala	Fri Jul 16 12:59:10 2021 +0200
+++ b/lib/Tools/scala	Fri Jul 16 13:18:54 2021 +0200
@@ -4,7 +4,7 @@
 #
 # DESCRIPTION: invoke Scala within the Isabelle environment
 
-isabelle_admin_build jars || exit $?
+isabelle_scala_build || exit $?
 
 eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)"
 declare -a SCALA_ARGS=()