by Lorenzo Bettini <bettini@gnu.org>
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.