This file was generated with the following command:
java2html --doc -i Hello.java -o Hello_h_f.html --header="header.html" --footer="footer.html"
and these are header.html and footer.html.
--header and --footer options are an idea of Xavier Outhier <xouthier@yahoo.fr>