Fix javadoc generation with Java8