A simple Java library to generate HTML5