static JSpinner setSpinnerStepSize(int stepSize, JSpinner s) {
  callOpt(castOpt(s.getModel(), SpinnerNumberModel), 'setStepSize, stepSize);
  ret s;
}