Fix build with JDK 8 (turn off doclint)