modified = true;
    public boolean addEdit(UndoableEdit edit)    {      // XXX - Fully qualify ElementChange to work around gcj bug #2499.      if (edit instanceof DocumentEvent.ElementChange)        {          DocumentEvent.ElementChange elEdit =            (DocumentEvent.ElementChange) edit;          changes.put(elEdit.getElement(), elEdit);        }      return super.addEdit(edit);    }