/**
  * Send a document changed event with a different source and set the <code>changed</code> flag.
  */
 public void fireDocumentChanged(BaseDocument source) {
   has_changed = true;
   for (DocumentChangeListener dcl : dc_listeners)
     dcl.documentChanged(new DocumentChangeEvent(source));
 }
 /** Send a document changed event and set the <code>changed</code> flag. */
 public void fireDocumentChanged() {
   has_changed = true;
   for (DocumentChangeListener dcl : dc_listeners)
     dcl.documentChanged(new DocumentChangeEvent(this));
 }