src/Tools/jEdit/src/token_markup.scala

 
 package isabelle.jedit
 
 
 import isabelle._
+
+import java.util.{List => JList}
 
 import javax.swing.text.Segment
 
 import org.gjt.sp.jedit.{Mode, Buffer}
 import org.gjt.sp.jedit.syntax.{Token => JEditToken, TokenMarker, TokenHandler, DummyTokenHandler,

     override def loadMode(mode: Mode, xmh: XModeHandler): Unit =
     {
       super.loadMode(mode, xmh)
       Isabelle.mode_token_marker(mode.getName).foreach(mode.setTokenMarker)
       Isabelle.indent_rule(mode.getName).foreach(indent_rule =>
-        Untyped.set[java.util.List[IndentRule]](
-          mode, "indentRules", java.util.List.of(indent_rule)))
+        Untyped.set[JList[IndentRule]](mode, "indentRules", JList.of(indent_rule)))
     }
   }
 }