ci(maven-javadoc-plugin): review configuration

KaiSchwarz-cnic · KaiSchwarz-cnic · commit e79defd25aa1 · 2019-03-06T13:18:50.000+01:00
https://bugs.openjdk.java.net/browse/JDK-8212233
diff --git a/pom.xml b/pom.xml
@@ -63,6 +63,8 @@
         <artifactId>maven-javadoc-plugin</artifactId>
         <version>3.1.0</version>
         <configuration>
+            <verbose>true</verbose>
+            <source>8</source> 
             <additionalOptions>-html5</additionalOptions>
         </configuration>
         <executions>
