throw new AssertionError("This should not happen");
throw new AssertionError(ble);
  public String getText()  {    try      {        return getDocument().getText(0, getDocument().getLength());      }    catch (BadLocationException ble)      {        throw new AssertionError("This should not happen");      }  }