int oldNumLines = numLines; determineNumLines();  if (numLines != oldNumLines) preferenceChanged(this, false, true); else
else if (a != null)
    void updateDamage (Rectangle a)    {      // If the allocation area is empty we can't do anything useful.      // As determining the number of lines is impossible in that state we      // reset it to an invalid value which can then be recalculated at a      // later point.      if (a == null || a.isEmpty())        {          numLines = 1;          return;        }            int oldNumLines = numLines;      determineNumLines();            if (numLines != oldNumLines)        preferenceChanged(this, false, true);      else        getContainer().repaint(a.x, a.y, a.width, a.height);    }