static void setTextAndEnabled(JButton btn, Pair<S, Bool> textAndEnabled) {
  if (textAndEnabled == null) ret;
  setText(btn, textAndEnabled.a);
  setEnabled(btn, textAndEnabled.b);
}