src/Pure/Tools/spell_checker.scala

 
 package isabelle
 
 
 import java.lang.Class
+import java.util.{List => JList}
 
 import scala.collection.mutable
 import scala.annotation.tailrec
 import scala.collection.immutable.SortedMap
 

 
   private def suggestions(word: String): Option[List[String]] =
   {
     val res =
       Untyped.method(dict.getClass.getSuperclass, "searchSuggestions", classOf[String]).
-        invoke(dict, word).asInstanceOf[java.util.List[AnyRef]].toArray.toList.map(_.toString)
+        invoke(dict, word).asInstanceOf[JList[AnyRef]].toArray.toList.map(_.toString)
     if (res.isEmpty) None else Some(res)
   }
 
   def complete(word: String): List[String] =
     if (check(word)) Nil