/**
  * Send a document init event to all listeners with a different source and reset the <code>changed
  * </code> flag.
  */
 public void fireDocumentInit(BaseDocument source) {
   has_changed = false;
   for (DocumentChangeListener dcl : dc_listeners)
     dcl.documentInit(new DocumentChangeEvent(source));
 }
 /** Send a document init event to all listeners and reset the <code>changed</code> flag. */
 public void fireDocumentInit() {
   has_changed = false;
   for (DocumentChangeListener dcl : dc_listeners) dcl.documentInit(new DocumentChangeEvent(this));
 }