src/Pure/System/isabelle_charset.scala

--- a/src/Pure/System/isabelle_charset.scala	Wed Jun 30 21:35:30 2021 +0200
+++ b/src/Pure/System/isabelle_charset.scala	Wed Jun 30 22:14:27 2021 +0200
@@ -7,6 +7,7 @@
 package isabelle
 
 
+import java.util.{List => JList}
 import java.nio.Buffer
 import java.nio.{ByteBuffer, CharBuffer}
 import java.nio.charset.{Charset, CharsetDecoder, CharsetEncoder, CoderResult}
@@ -45,6 +46,6 @@
   {
     // FIXME inactive
     // Iterator(Isabelle_Charset.charset)
-    java.util.List.of[Charset]().listIterator()
+    JList.of[Charset]().listIterator()
   }
 }