svoid setSpinnerValue(JSpinner s, int value) {
  setSpinnerValue(s, (Int) value);
}

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