public void setAccessory(JComponent accessory) {  }
public void setAccessory(JComponent newAccessory) { if (accessory != newAccessory) { JComponent old = accessory; accessory = newAccessory; firePropertyChange(ACCESSORY_CHANGED_PROPERTY, old, accessory); } }
	public void setAccessory(JComponent accessory) {		// TODO	} // setAccessory()