Does this actually generate the right javadoc?  My HTML is rusty.