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