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