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