Rectangle r = a != null && isAllocationValid() ? getInsideAllocation(a) : null; View v = getViewAtPosition(e.getOffset(), r); if (v != null) v.removeUpdate(e, r, f);
  public void removeUpdate (DocumentEvent e, Shape a, ViewFactory f)  {    super.removeUpdate(e, a, viewFactory);        // No repaint needed, as this is done by the WrappedLine instances.  }