if ("editor".equals(evt.getPropertyName())) BasicSpinnerUI.this.replaceEditor((JComponent) evt.getOldValue(), (JComponent) evt.getNewValue());
if ("editor".equals(event.getPropertyName())) BasicSpinnerUI.this.replaceEditor((JComponent) event.getOldValue(), (JComponent) event.getNewValue());
  protected PropertyChangeListener createPropertyChangeListener()  {    return new PropertyChangeListener()      {	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());	}      };  }