catch (BadLocationException ex)
catch (BadLocationException e)
  void appear()  {    // All machinery is only required if the carret is blinking.    if (blinkListener != null)      {        blinkListener.ignoreNextEvent = true;        // If the caret is visible, erase the current position by repainting        // over.        if (visible)          repaint();        // Draw the caret in the new position.        visible = true;        Rectangle area = null;        try          {            area = getComponent().modelToView(getDot());          }        catch (BadLocationException ex)          {            assert false : "Unexpected bad caret location: " + getDot();          }        if (area != null)          damage(area);      }    repaint();  }