make javadoc build again

majst01 · majst01 · commit d9c9e4919cf1 · 2019-02-19T15:42:10.000+01:00
diff --git a/pom.xml b/pom.xml
@@ -156,6 +156,9 @@
         <groupId>org.apache.maven.plugins</groupId>
         <artifactId>maven-javadoc-plugin</artifactId>
         <version>3.0.1</version>
+        <configuration>
+          <source>8</source>
+        </configuration>
         <executions>
           <execution>
             <id>attach-javadocs</id>
