throw (InternalError) new InternalError().initCause(e);
  public void setText(String text)  {    try      {        if (doc instanceof AbstractDocument)          ((AbstractDocument) doc).replace(0, doc.getLength(), text, null);        else          {	doc.remove(0, doc.getLength());	doc.insertString(0, text, null);      }      }    catch (BadLocationException e)      {	// This can never happen.      }  }