src/Tools/jEdit/src/jedit/document_model.scala

   }
 
 
   /* snapshot */
 
-  def snapshot(): Change.Snapshot = {
+  def snapshot(): Document.Snapshot = {
     Swing_Thread.require()
     session.current_change().snapshot(thy_name, pending_edits.snapshot())
   }