src/Pure/System/isabelle_charset.scala

--- a/src/Pure/System/isabelle_charset.scala	Fri Apr 01 11:51:42 2022 +0200
+++ b/src/Pure/System/isabelle_charset.scala	Fri Apr 01 17:06:10 2022 +0200
@@ -14,15 +14,13 @@
 import java.nio.charset.spi.CharsetProvider
 
 
-object Isabelle_Charset
-{
+object Isabelle_Charset {
   val name: String = "UTF-8-Isabelle-test"  // FIXME
   lazy val charset: Charset = new Isabelle_Charset
 }
 
 
-class Isabelle_Charset extends Charset(Isabelle_Charset.name, null)
-{
+class Isabelle_Charset extends Charset(Isabelle_Charset.name, null) {
   override def contains(cs: Charset): Boolean =
     cs.name.equalsIgnoreCase(UTF8.charset_name) || UTF8.charset.contains(cs)
 
@@ -32,18 +30,15 @@
 }
 
 
-class Isabelle_Charset_Provider extends CharsetProvider
-{
-  override def charsetForName(name: String): Charset =
-  {
+class Isabelle_Charset_Provider extends CharsetProvider {
+  override def charsetForName(name: String): Charset = {
     // FIXME inactive
     // if (name.equalsIgnoreCase(Isabelle_Charset.name)) Isabelle_Charset.charset
     // else null
     null
   }
 
-  override def charsets(): java.util.Iterator[Charset] =
-  {
+  override def charsets(): java.util.Iterator[Charset] = {
     // FIXME inactive
     // Iterator(Isabelle_Charset.charset)
     JList.of[Charset]().listIterator()