unused;

--- a/src/Pure/ML/ml_heap.scala	Thu Feb 22 12:19:23 2024 +0100
+++ b/src/Pure/ML/ml_heap.scala	Thu Feb 22 12:22:13 2024 +0100
@@ -7,11 +7,6 @@
 package isabelle
 
 
-import java.nio.ByteBuffer
-import java.nio.channels.FileChannel
-import java.nio.file.StandardOpenOption
-
-
 object ML_Heap {
   /** heap file with SHA1 digest **/