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

     null
   }
 
   override def charsets(): java.util.Iterator[Charset] =
   {
-    import scala.collection.JavaConversions._
     // FIXME inactive
     // Iterator(Isabelle_Charset.charset)
-    Iterator()
+    JavaConverters.asJavaIterator(Iterator())
   }
 }
-