--- a/src/Pure/System/isabelle_charset.scala Thu Mar 04 18:04:16 2021 +0100
+++ b/src/Pure/System/isabelle_charset.scala Thu Mar 04 19:55:52 2021 +0100
@@ -12,8 +12,6 @@
import java.nio.charset.{Charset, CharsetDecoder, CharsetEncoder, CoderResult}
import java.nio.charset.spi.CharsetProvider
-import scala.collection.JavaConverters
-
object Isabelle_Charset
{
@@ -47,6 +45,6 @@
{
// FIXME inactive
// Iterator(Isabelle_Charset.charset)
- JavaConverters.asJavaIterator(Iterator())
+ java.util.List.of[Charset]().listIterator()
}
}