diff -r 1e5082785075 -r b835b40f53ec src/Pure/Build/build_manager.scala
--- a/src/Pure/Build/build_manager.scala	Mon Jun 10 14:03:19 2024 +0200
+++ b/src/Pure/Build/build_manager.scala	Mon Jun 10 14:08:15 2024 +0200
@@ -1485,6 +1485,3 @@
         progress = progress)
     })
 }
-
-class Build_Manager_Tools extends Isabelle_Scala_Tools(
-  Build_Manager.isabelle_tool, Build_Manager.isabelle_tool1)