static JLabel centeredHtmlLabel(S html) { html = [[
$$
]].replace("$$", html).trim(); ret new JLabel(html, JLabel.CENTER); }