unused;

--- a/src/Pure/General/bytes.scala	Sat Jan 20 22:27:30 2024 +0100
+++ b/src/Pure/General/bytes.scala	Sun Jan 21 13:18:05 2024 +0100
@@ -9,7 +9,6 @@
 
 import java.io.{ByteArrayInputStream, ByteArrayOutputStream, FileInputStream, FileOutputStream,
   InputStream, OutputStream, File => JFile}
-import java.net.URL
 import java.nio.ByteBuffer
 import java.nio.channels.FileChannel
 import java.nio.file.StandardOpenOption