From 23c247b8942e8e08200b33f77d4fe6942b20d0b0 Mon Sep 17 00:00:00 2001
From: Tobias Kuhn <kuhntobias@gmail.com>
Date: Wed, 1 May 2019 15:44:47 +0200
Subject: [PATCH] Use source version 8 for javadoc to avoid release problem

---
 pom.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pom.xml b/pom.xml
index c38a1cf..bd66eed 100644
--- a/pom.xml
+++ b/pom.xml
@@ -230,6 +230,9 @@ See: https://central.sonatype.org/pages/apache-maven.html
             </goals>
           </execution>
         </executions>
+        <configuration>
+          <source>8</source>
+        </configuration> 
       </plugin>
       <plugin>
         <groupId>org.apache.maven.plugins</groupId>