The .html versions of the .java files
 here have been created by code2html,
 which I installed in my ~/bin directory.

 See http://www.palfrader.org/code2html

 I can run it by typing something like
    code2html CoinFlip.java CoinFlip.html
 on the command line.

 And I also wrote a script to do this to all appropriate
 files in the current directory, ~/bin/c2h-all