From 11eecda49954b491cf84d813aa3fa38ebfa00ccc Mon Sep 17 00:00:00 2001
From: Villena Guillaume <guiguivil@gmail.com>
Date: Tue, 28 Jan 2020 18:02:15 +0200
Subject: [PATCH] Quick and dirty fix for javadoc generation

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

diff --git a/pom.xml b/pom.xml
index 6fcb5696dc..c1cbbfe466 100644
--- a/pom.xml
+++ b/pom.xml
@@ -152,6 +152,9 @@
             <goals>
               <goal>jar</goal>
             </goals>
+	    <configuration> <!-- Quick and dirty fix to disable error checking with Java8 -->
+                <additionalparam>-Xdoclint:none</additionalparam>
+            </configuration>
           </execution>
         </executions>
       </plugin>