static JLabel jcenteredlabel_noToolTip(S text) {
  JLabel l = jcenteredLabel(text);
  setOpt(l, autoToolTip := false);
  setToolTipText(l, "");
  ret l;
}

static JLabel jcenteredlabel_noToolTip() {
  ret jcenteredlabel_noToolTip(" ");
}