throw new Error("Please report a bug", e);
  public void replaceRange(String text, int start, int end)  {    Document doc = getDocument();        if (start > end	|| start < doc.getStartPosition().getOffset()	|| end >= doc.getEndPosition().getOffset())      throw new IllegalArgumentException();    try      {	doc.remove(start, end);	doc.insertString(start, text, null);      }    catch (BadLocationException e)      {	// This cannot happen as we check offset above.      }  }