src/Tools/jEdit/src/document_model.scala

 
   /* syntax */
 
   def syntax_changed()
   {
-    Untyped.get(buffer, "lineMgr").asInstanceOf[LineManager].setFirstInvalidLineContext(0)
+    Untyped.get[LineManager](buffer, "lineMgr").setFirstInvalidLineContext(0)
     for (text_area <- JEdit_Lib.jedit_text_areas(buffer)) {
       val c = Class.forName("org.gjt.sp.jedit.textarea.TextArea")
       val m = c.getDeclaredMethod("foldStructureChanged")
       m.setAccessible(true)
       m.invoke(text_area)