Update HtmlTools.java