Now that we have moved from Java 7 to Java 8, we've moved to the Java 8 Javadoc tool. That has a different default style from the Java 7 one We should re-do our small javadoc style customisations for the Java 8 default styles
Mostly brought over in r1809047, hopefully this looks better again