public void propertyChange(PropertyChangeEvent evt)
public void propertyChange(PropertyChangeEvent event)
	public void propertyChange(PropertyChangeEvent evt)	{	  // FIXME: Add check for enabled property change. Need to	  // disable the buttons.	  if ("editor".equals(evt.getPropertyName()))	    BasicSpinnerUI.this.replaceEditor((JComponent) evt.getOldValue(),	                                      (JComponent) evt.getNewValue());	}