src/Tools/jEdit/src/prover/State.scala

 
   /* markup */
 
   lazy val highlight_node: MarkupNode =
   {
-    import MarkupNode._
     markup_root.filter(_.info match {
       case RootInfo() | HighlightInfo(_) => true
       case _ => false
     }).head
   }