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

 {
   /* changes vs. edits */
 
   private val document_0 = session.begin_document(buffer.getName)
 
-  private val change_0 = new Change(document_0.id, None, Nil, Future.value(document_0, Nil))
+  private val change_0 = new Change(None, Nil, Future.value(document_0, Nil))
   private var _changes = List(change_0)   // owned by Swing thread
   def changes = _changes
   private var current_change = change_0
 
   private val edits = new mutable.ListBuffer[Edit]   // owned by Swing thread

       val change1 = current_change
       val result: Future[Document.Result] = Future.fork {
         val old_doc = change1.document
         Document.text_edits(session, old_doc, new_id, eds)
       }
-      val change2 = new Change(new_id, Some(change1), eds, result)
+      val change2 = new Change(Some(change1), eds, result)
       _changes ::= change2
       session.input(change2)
       current_change = change2
       edits.clear
     }

 
 
   /* transforming offsets */
 
   private def changes_from(doc: Document): List[Edit] =
-    List.flatten(current_change.ancestors(_.id == doc.id).reverse.map(_.edits)) :::
+    List.flatten(current_change.ancestors(_.document.id == doc.id).reverse.map(_.edits)) :::
       edits.toList
 
   def from_current(doc: Document, offset: Int): Int =
     (offset /: changes_from(doc).reverse) ((i, change) => change before i)