--- a/src/Pure/GUI/gui.scala Mon Mar 12 11:00:52 2018 +0100
+++ b/src/Pure/GUI/gui.scala Mon Mar 12 11:17:59 2018 +0100
@@ -7,7 +7,6 @@
package isabelle
import java.lang.{ClassLoader, ClassNotFoundException, NoSuchMethodException}
-import java.io.{FileInputStream, BufferedInputStream}
import java.awt.{GraphicsEnvironment, Image, Component, Container, Toolkit, Window, Font,
KeyboardFocusManager}
import java.awt.font.{TextAttribute, TransformAttribute, FontRenderContext, LineMetrics}
--- a/src/Pure/PIDE/prover.scala Mon Mar 12 11:00:52 2018 +0100
+++ b/src/Pure/PIDE/prover.scala Mon Mar 12 11:17:59 2018 +0100
@@ -8,7 +8,7 @@
package isabelle
-import java.io.{InputStream, OutputStream, BufferedReader, BufferedOutputStream, IOException}
+import java.io.{InputStream, OutputStream, BufferedOutputStream, IOException}
object Prover
--- a/src/Pure/System/isabelle_system.scala Mon Mar 12 11:00:52 2018 +0100
+++ b/src/Pure/System/isabelle_system.scala Mon Mar 12 11:17:59 2018 +0100
@@ -8,7 +8,7 @@
package isabelle
-import java.io.{File => JFile, IOException, BufferedReader, InputStreamReader}
+import java.io.{File => JFile, IOException}
import java.nio.file.{Path => JPath, Files, SimpleFileVisitor, FileVisitResult}
import java.nio.file.attribute.BasicFileAttributes
--- a/src/Pure/Tools/build.scala Mon Mar 12 11:00:52 2018 +0100
+++ b/src/Pure/Tools/build.scala Mon Mar 12 11:17:59 2018 +0100
@@ -8,12 +8,7 @@
package isabelle
-import java.io.{BufferedInputStream, FileInputStream,
- BufferedReader, InputStreamReader, IOException}
-import java.util.zip.GZIPInputStream
-
import scala.collection.SortedSet
-import scala.collection.mutable
import scala.annotation.tailrec