tuned;

--- a/src/Pure/General/file.scala	Sat Feb 27 18:04:29 2021 +0100
+++ b/src/Pure/General/file.scala	Sat Feb 27 19:42:44 2021 +0100
@@ -294,7 +294,7 @@
   /* eq */
 
   def eq(file1: JFile, file2: JFile): Boolean =
-    try { java.nio.file.Files.isSameFile(file1.toPath, file2.toPath) }
+    try { Files.isSameFile(file1.toPath, file2.toPath) }
     catch { case ERROR(_) => false }
 
   def eq(path1: Path, path2: Path): Boolean = eq(path1.file, path2.file)