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