src/Tools/jEdit/src/jedit_editor.scala

 
   override def node_snapshot(name: Document.Node.Name): Document.Snapshot =
   {
     Swing_Thread.require()
 
-    JEdit_Lib.jedit_buffer(name.node) match {
+    JEdit_Lib.jedit_buffer(name) match {
       case Some(buffer) =>
         PIDE.document_model(buffer) match {
           case Some(model) => model.snapshot
           case None => session.snapshot(name)
         }