static JSpinner jSpinner() swing { new JSpinner s; ret jSpinnerCommitOnValidEdit(s); } static JSpinner jSpinner(int value) swing { new JSpinner s; s.setValue(value); ret jSpinnerCommitOnValidEdit(s); } static JSpinner jSpinner(int value default min, int min, int max) swing { ret jSpinnerCommitOnValidEdit(new JSpinner(new SpinnerNumberModel(value, min, max, 1))); }