updateDamage((Rectangle)a);
Rectangle r = a instanceof Rectangle ? (Rectangle) a : a.getBounds(); updateDamage(r);
    public void removeUpdate (DocumentEvent changes, Shape a, ViewFactory f)    {      // Note: This method is not called when characters from the      // end of the document are removed. The reason for this      // can be found in the implementation of View.forwardUpdate:      // The document event will denote offsets which do not exist      // any more, getViewIndex() will therefore return -1 and this      // makes View.forwardUpdate() skip this method call.      // However this seems to cause no trouble and as it reduces the      // number of method calls it can stay this way.            updateDamage((Rectangle)a);     }