svoid setSpinnerValue(final JSpinner s, final int value) {
  if (s != null) swing {
    s.setValue(value);
  }
}