--- a/src/Pure/General/bibtex.scala Sat Jun 01 12:31:06 2024 +0200
+++ b/src/Pure/General/bibtex.scala Sat Jun 01 12:35:38 2024 +0200
@@ -7,8 +7,6 @@
package isabelle
-import java.io.{File => JFile}
-
import scala.collection.mutable
import scala.util.parsing.combinator.RegexParsers
import scala.util.parsing.input.Reader
--- a/src/Pure/General/ssh.scala Sat Jun 01 12:31:06 2024 +0200
+++ b/src/Pure/General/ssh.scala Sat Jun 01 12:35:38 2024 +0200
@@ -9,7 +9,6 @@
import java.util.{Map => JMap}
-import java.io.{File => JFile}
import scala.annotation.tailrec
--- a/src/Pure/ML/ml_process.scala Sat Jun 01 12:31:06 2024 +0200
+++ b/src/Pure/ML/ml_process.scala Sat Jun 01 12:35:38 2024 +0200
@@ -8,7 +8,6 @@
import java.util.{Map => JMap, HashMap}
-import java.io.{File => JFile}
object ML_Process {
--- a/src/Pure/System/components.scala Sat Jun 01 12:31:06 2024 +0200
+++ b/src/Pure/System/components.scala Sat Jun 01 12:35:38 2024 +0200
@@ -7,8 +7,6 @@
package isabelle
-import java.io.{File => JFile}
-
import scala.jdk.CollectionConverters._
--- a/src/Pure/System/cygwin.scala Sat Jun 01 12:31:06 2024 +0200
+++ b/src/Pure/System/cygwin.scala Sat Jun 01 12:35:38 2024 +0200
@@ -7,7 +7,6 @@
package isabelle
-import java.io.{File => JFile}
import java.nio.file.Files
import scala.annotation.tailrec
--- a/src/Pure/System/isabelle_process.scala Sat Jun 01 12:31:06 2024 +0200
+++ b/src/Pure/System/isabelle_process.scala Sat Jun 01 12:35:38 2024 +0200
@@ -8,7 +8,6 @@
import java.util.{Map => JMap}
-import java.io.{File => JFile}
object Isabelle_Process {
--- a/src/Pure/System/progress.scala Sat Jun 01 12:31:06 2024 +0200
+++ b/src/Pure/System/progress.scala Sat Jun 01 12:35:38 2024 +0200
@@ -8,7 +8,6 @@
import java.util.{Map => JMap}
-import java.io.{File => JFile}
object Progress {
--- a/src/Pure/Tools/fontforge.scala Sat Jun 01 12:31:06 2024 +0200
+++ b/src/Pure/Tools/fontforge.scala Sat Jun 01 12:35:38 2024 +0200
@@ -8,7 +8,6 @@
package isabelle
-import java.io.{File => JFile}
import java.util.Locale
--- a/src/Tools/jEdit/src/completion_popup.scala Sat Jun 01 12:31:06 2024 +0200
+++ b/src/Tools/jEdit/src/completion_popup.scala Sat Jun 01 12:35:38 2024 +0200
@@ -11,7 +11,6 @@
import java.awt.{Color, Font, Point, BorderLayout, Dimension}
import java.awt.event.{KeyEvent, KeyListener, MouseEvent, MouseAdapter, FocusAdapter, FocusEvent}
-import java.io.{File => JFile}
import javax.swing.{JPanel, JComponent, JLayeredPane, SwingUtilities}
import javax.swing.border.LineBorder
import javax.swing.text.DefaultCaret
--- a/src/Tools/jEdit/src/jedit_editor.scala Sat Jun 01 12:31:06 2024 +0200
+++ b/src/Tools/jEdit/src/jedit_editor.scala Sat Jun 01 12:35:38 2024 +0200
@@ -10,8 +10,6 @@
import isabelle._
-import java.io.{File => JFile}
-
import org.gjt.sp.jedit.{jEdit, View, Buffer}
import org.gjt.sp.jedit.browser.VFSBrowser
import org.gjt.sp.jedit.io.{VFSManager, VFSFile}