src/Pure/System/isabelle_charset.scala

 */
 
 package isabelle
 
 
+import java.util.{List => JList}
 import java.nio.Buffer
 import java.nio.{ByteBuffer, CharBuffer}
 import java.nio.charset.{Charset, CharsetDecoder, CharsetEncoder, CoderResult}
 import java.nio.charset.spi.CharsetProvider
 

 
   override def charsets(): java.util.Iterator[Charset] =
   {
     // FIXME inactive
     // Iterator(Isabelle_Charset.charset)
-    java.util.List.of[Charset]().listIterator()
+    JList.of[Charset]().listIterator()
   }
 }