static JSpinner liveValueSpinner(final SimpleLiveValue<Int> lv, int min, int max) {
  final JSpinner spinner = jSpinner(lv!, min, max);
  onChange(spinner, r { lv.set(intFromSpinner(spinner)) });
  lv.onChange(r { setSpinnerValue(spinner, lv!) });
  ret spinner;
}