LUCENE-4797: For now disable javadoc-lint provided by JDK8, so we can enable recent JDK8 builds on jenkins. Our own doclint is already disabled, so the missing doc-files don't matter! To test and fix bugs with JDK8, run ant javadocs -Djavadoc.args=-Xdoclint:all