finally { notifyListeners = false; } }
  protected void fireRemoveUpdate(DocumentEvent event)  {    DocumentListener[] listeners = getDocumentListeners();    for (int index = 0; index < listeners.length; ++index)      listeners[index].removeUpdate(event);  }