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