static JSpinner looselyBindLiveValueToSpinner (IVarWithNotify<Int> lv, JSpinner spinner) {
  onChange(spinner, -> lv.set(intFromSpinner(spinner)));
  bindToComponent(spinner, -> setSpinnerValue(spinner, lv!));
  ret spinner;
}