clientBorderPaintedSet = true;
  public void setBorderPainted(boolean b)  {    if (borderPainted == b)      return;    boolean old = borderPainted;        borderPainted = b;        firePropertyChange(BORDER_PAINTED_CHANGED_PROPERTY, old, b);        revalidate();        repaint();      }