static JAutoWidthHTMLLabel jAutoWidthHTMLLabel(IF0<S> makeContents) {
  ret swing(() -> JAutoWidthHTMLLabel(makeContents));
}