sS javaxSourceToHTML(S code) {
  new JavaXHyperlinker hl;
  S html = hl.codeToHTML(code);
  ret div(sourceCodeToHTML_noEncode(html), style := hstyle_sourceCodeLikeInRepo());
}