diff -r fa92bc604c59 -r 3cee9d20308e Admin/lib/Tools/build_setup
--- a/Admin/lib/Tools/build_setup	Thu Jul 08 08:44:18 2021 +0200
+++ b/Admin/lib/Tools/build_setup	Thu Jul 08 13:16:31 2021 +0200
@@ -7,7 +7,7 @@
 ## sources
 
 declare -a SOURCES=(
-  "Build_Scala.java"
+  "Build.java"
   "Environment.java"
   "Setup.java"
 )