From 05529bd74a6323191877e5ef6aaf29c2990a0afa Mon Sep 17 00:00:00 2001
From: Jan Martin Keil <jan-martin.keil@uni-jena.de>
Date: Mon, 7 Sep 2020 11:03:20 +0200
Subject: [PATCH] javadoc in java 8 mode

---
 pom.xml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 72004d7..c86086e 100644
--- a/pom.xml
+++ b/pom.xml
@@ -101,6 +101,9 @@
 				<groupId>org.apache.maven.plugins</groupId>
 				<artifactId>maven-javadoc-plugin</artifactId>
 				<version>2.9.1</version>
+				<configuration>
+					<source>8</source>
+				</configuration>
 				<executions>
 					<execution>
 						<id>attach-javadocs</id>
@@ -126,7 +129,7 @@
 			</plugin>
 		</plugins>
 	</build>
-	
+
 	<dependencies>
 		<dependency>
 			<groupId>junit</groupId>