(Minor JavaDoc updates/fixes)
Require JDK 8+ for javadoc, but change its style to be more like JDK 7 (usability over fashion)