# HG changeset patch
# User wenzelm
# Date 1520849879 -3600
# Node ID c8e4ee2b5482b1ddae7ea267e980cb9c2beac7c9
# Parent  3ded4e0bc54b4bee02169eda9065d559742c3e90
tuned imports;

diff -r 3ded4e0bc54b -r c8e4ee2b5482 src/Pure/GUI/gui.scala
--- 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}
diff -r 3ded4e0bc54b -r c8e4ee2b5482 src/Pure/PIDE/prover.scala
--- 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
diff -r 3ded4e0bc54b -r c8e4ee2b5482 src/Pure/System/isabelle_system.scala
--- 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
 
diff -r 3ded4e0bc54b -r c8e4ee2b5482 src/Pure/Tools/build.scala
--- 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