# HG changeset patch
# User wenzelm
# Date 1717238138 -7200
# Node ID d9ff4296e3b72653addc59ae98ccd7884db0242c
# Parent  db92e0b6a11a6a193cc87bb1d9eeb5e9eaf20144
unused;

diff -r db92e0b6a11a -r d9ff4296e3b7 src/Pure/General/bibtex.scala
--- 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
diff -r db92e0b6a11a -r d9ff4296e3b7 src/Pure/General/ssh.scala
--- 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
 
diff -r db92e0b6a11a -r d9ff4296e3b7 src/Pure/ML/ml_process.scala
--- 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 {
diff -r db92e0b6a11a -r d9ff4296e3b7 src/Pure/System/components.scala
--- 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._
 
 
diff -r db92e0b6a11a -r d9ff4296e3b7 src/Pure/System/cygwin.scala
--- 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
diff -r db92e0b6a11a -r d9ff4296e3b7 src/Pure/System/isabelle_process.scala
--- 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 {
diff -r db92e0b6a11a -r d9ff4296e3b7 src/Pure/System/progress.scala
--- 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 {
diff -r db92e0b6a11a -r d9ff4296e3b7 src/Pure/Tools/fontforge.scala
--- 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
 
 
diff -r db92e0b6a11a -r d9ff4296e3b7 src/Tools/jEdit/src/completion_popup.scala
--- 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
diff -r db92e0b6a11a -r d9ff4296e3b7 src/Tools/jEdit/src/jedit_editor.scala
--- 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}