svoid setText_htmlencode(JLabel c, O text) { setText((O) c, jlabel_textAsHTML(str(text))); }