Added option to turn off doclint in Java 8.