Diff of /tool/src/utils/html.java [r17] .. [r18]

  Switch to unified view

a/tool/src/utils/html.java b/tool/src/utils/html.java