src/Pure/General/position.scala

--- a/src/Pure/General/position.scala	Thu Nov 04 15:57:21 2021 +0100
+++ b/src/Pure/General/position.scala	Thu Nov 04 16:02:55 2021 +0100
@@ -7,9 +7,6 @@
 package isabelle
 
 
-import java.io.{File => JFile}
-
-
 object Position
 {
   type T = Properties.T