diff -r 35b406a5c105 -r 6fdcd6c8c97a src/Pure/General/bytes.scala
--- a/src/Pure/General/bytes.scala	Sat Oct 28 17:35:26 2023 +0200
+++ b/src/Pure/General/bytes.scala	Sat Oct 28 19:13:02 2023 +0200
@@ -7,7 +7,8 @@
 package isabelle
 
 
-import java.io.{ByteArrayInputStream, ByteArrayOutputStream, FileInputStream, FileOutputStream, InputStream, OutputStream, File as JFile}
+import java.io.{ByteArrayInputStream, ByteArrayOutputStream, FileInputStream, FileOutputStream,
+  InputStream, OutputStream, File => JFile}
 import java.net.URL
 import java.nio.ByteBuffer
 import java.nio.channels.FileChannel