add HtmlFormatterTest.java