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