unused;

--- a/src/Pure/System/scala.scala	Sat May 23 22:09:55 2020 +0200
+++ b/src/Pure/System/scala.scala	Sun May 24 10:28:04 2020 +0200
@@ -7,10 +7,8 @@
 package isabelle
 
 
-import java.lang.reflect.{Modifier, InvocationTargetException}
 import java.io.{File => JFile, StringWriter, PrintWriter}
 
-import scala.util.matching.Regex
 import scala.tools.nsc.{GenericRunnerSettings, ConsoleWriter, NewLinePrintWriter}
 import scala.tools.nsc.interpreter.IMain