static void onChange(JSpinner spinner, O r) {
  spinner.addChangeListener(changeListener(r));
}