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