Fix jdk 1.8 build (strict on javadocs tags)