src/Tools/jEdit/src/token_markup.scala

 import org.gjt.sp.util.SyntaxUtilities
 import org.gjt.sp.jedit.{jEdit, Mode, Buffer}
 import org.gjt.sp.jedit.syntax.{Token => JEditToken, TokenMarker, TokenHandler, DummyTokenHandler,
   ParserRuleSet, ModeProvider, XModeHandler, SyntaxStyle}
 import org.gjt.sp.jedit.textarea.{TextArea, Selection}
-import org.gjt.sp.jedit.buffer.{JEditBuffer, LineManager}
+import org.gjt.sp.jedit.buffer.JEditBuffer
 
 import javax.swing.text.Segment
 
 
 object Token_Markup

       }
   }
 
   def buffer_line_context(buffer: JEditBuffer, line: Int): Line_Context =
   {
-    val line_mgr = Untyped.get[LineManager](buffer, "lineMgr")
+    val line_mgr = JEdit_Lib.buffer_line_manager(buffer)
     def context =
       line_mgr.getLineContext(line) match {
         case c: Line_Context => Some(c)
         case _ => None
       }