static JSpinner jListSpinner(L entries, A defaultValue) { ret swing(-> { new JSpinner s; s.setModel(new SpinnerListModel(entries)); setSpinnerValue(s, defaultValue); ret jSpinnerCommitOnValidEdit(s); }); }