static JTextField jLiveValueIntTextField(final SimpleLiveValue<Int> lv) {
  final JTextField ta = jTextField();
  bindTextComponentToIntLiveValue(ta, lv);
  ret ta;
}