Fix the JavaDoc generation in Java 8