firePropertyChange(BORDER_PAINTED_CHANGED_PROPERTY, oldPainted,
firePropertyChange("borderPainted", oldPainted,
  public void setBorderPainted(boolean painted)  {    if (painted != paintBorder)      {	boolean oldPainted = paintBorder;	paintBorder = painted;	firePropertyChange(BORDER_PAINTED_CHANGED_PROPERTY, oldPainted,	                   paintBorder);      }  }