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(" "); }