--- 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