src/Tools/jEdit/src/timing_dockable.scala

   private def make_entries(): List[Entry] =
   {
     GUI_Thread.require {}
 
     val name =
-      Document_View(view.getTextArea) match {
+      Document_View.get(view.getTextArea) match {
         case None => Document.Node.Name.empty
         case Some(doc_view) => doc_view.model.node_name
       }
     val timing = nodes_timing.getOrElse(name, Protocol.empty_node_timing)