From e20baf7b1107ca6a4542c6cc1cee7a8c4276efcd Mon Sep 17 00:00:00 2001
From: Stefan Kalscheuer <stefan@stklcode.de>
Date: Fri, 26 Jul 2019 20:02:00 +0200
Subject: [PATCH] fix Javadoc generation with JDK11+
---
pom.xml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/pom.xml b/pom.xml
index 6b0d113..6d58f12 100644
--- a/pom.xml
+++ b/pom.xml
@@ -204,9 +204,10 @@
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-javadoc-plugin</artifactId>
- <version>3.1.0</version>
+ <version>3.1.1</version>
<configuration>
<overview>${basedir}/src/main/javadoc/overview.html</overview>
+ <source>1.8</source>
</configuration>
<executions>
<execution>