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