From 55bff96807b7054d23b6b9a72630d62b0be114db Mon Sep 17 00:00:00 2001
From: ljacqu <ljacqu@users.noreply.github.com>
Date: Mon, 17 Jun 2019 21:54:04 +0200
Subject: [PATCH] #1831 Specify Java version to Javadocs Maven plugin

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

diff --git a/pom.xml b/pom.xml
index 60648c2e..ee61a8c0 100644
--- a/pom.xml
+++ b/pom.xml
@@ -225,6 +225,8 @@
                 <version>3.1.0</version>
                 <configuration>
                     <finalName>${project.finalNameBase}</finalName>
+                    <!-- In sync with the source/target properties of the maven-compiler-plugin -->
+                    <source>8</source>
                 </configuration>
                 <executions>
                     <execution>