tuned --- fewer warnings;

--- 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()
   }
 }