Code for my Java HTML generator