else replaceImpl(offset, length, text, attributes);
  public void replace(int offset, int length, String text,		      AttributeSet attributes)    throws BadLocationException  {    if (documentFilter != null)      documentFilter.replace(getBypass(), offset, length, text, attributes);    else      replaceImpl(offset, length, text, attributes);  }