static S sourceCodeToHTML(S src) { ret [[
]] + htmlencode2(src) + "
"; } // works for String, StringBuffer, StringBuilder static S sourceCodeToHTML(O o) { ret sourceCodeToHTML(str(o)); }