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