SpinnerUtilities.setRightAlignment(spinner); SpinnerUtilities.fixIntegerList(spinner);
    private JSpinner makeSpinner (List<Integer> ids)    {        JSpinner spinner = new JSpinner();        ids.add(NO_VALUE);        spinner.setModel(new SpinnerListModel(ids));        spinner.addChangeListener(this);        return spinner;    }