Minor fix for anchor highlighting on javadoc pages.
Some minor improvements to parsing, and correction of the javadocs after recent changes.