return new StubEditor(this); } }
if (model instanceof SpinnerDateModel) return new DateEditor(this); else if (model instanceof SpinnerNumberModel) return new NumberEditor(this); else return new DefaultEditor(this); }
  protected JComponent createEditor(SpinnerModel model)  {    return new StubEditor(this);  } /* TODO */}