Small Javadoc improvements and fixes.

1 job for javadoc-fixes in 10 minutes and 37 seconds (queued for 8 seconds)