src/Pure/System/isabelle_charset.scala

 
 import java.nio.Buffer
 import java.nio.{ByteBuffer, CharBuffer}
 import java.nio.charset.{Charset, CharsetDecoder, CharsetEncoder, CoderResult}
 import java.nio.charset.spi.CharsetProvider
-
-import scala.collection.JavaConverters
 
 
 object Isabelle_Charset
 {
   val name: String = "UTF-8-Isabelle-test"  // FIXME

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