svoid setSpinnerMax(JSpinner s, int max) {
  if (s != null) swing {
    s.setMax(max);
  }
}