if (a.isEmpty()) { numLines = 1; return; }
    void updateDamage (Rectangle a)    {      int oldNumLines = numLines;      determineNumLines();            if (numLines != oldNumLines)        preferenceChanged(this, false, true);      else        getContainer().repaint(a.x, a.y, a.width, a.height);    }