Hyperlink names in formal parts

[btj]

References to classes, methods, and other program elements inside Javadoc formal parts are currently not hyperlinked to their definitions in the generated HTML.

Fixing this might require forking javadoc (as well as javac, since javadoc uses javac to parse the input files).