static JSpinner jLiveValueSpinner(IVarWithNotify<Int> lv, int min, int max) {
  ret liveValueSpinner(lv, min, max);
}

static JSpinner jLiveValueSpinner(int min, int max, IVarWithNotify<Int> lv) {
  ret liveValueSpinner(lv, min, max);
}