obsolete;

--- a/src/Pure/System/isabelle_tool.scala	Fri Jul 01 19:57:06 2022 +0200
+++ b/src/Pure/System/isabelle_tool.scala	Fri Jul 01 19:58:38 2022 +0200
@@ -6,10 +6,6 @@
 
 package isabelle
 
-import java.net.URLClassLoader
-import scala.reflect.runtime.universe
-import scala.tools.reflect.{ToolBox, ToolBoxError}
-
 
 object Isabelle_Tool {
   /* external tools */