static int intFromSpinner(JSpinner s) {
  ret toInt(s.getValue());
}