From 93baed3d564c422458ae1d348b1e326a71f9438a Mon Sep 17 00:00:00 2001
From: Duarte Meneses <duarte.meneses@sonarsource.com>
Date: Fri, 21 Jun 2019 15:39:58 -0500
Subject: [PATCH] Fix javadoc with java 11

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

diff --git a/pom.xml b/pom.xml
index 8bac0a2..6953e48 100644
--- a/pom.xml
+++ b/pom.xml
@@ -184,6 +184,13 @@
           </execution>
         </executions>
       </plugin>
+      <plugin>
+        <groupId>org.apache.maven.plugins</groupId>
+        <artifactId>maven-javadoc-plugin</artifactId>
+        <configuration>
+	  <source>8</source>
+        </configuration>
+      </plugin>      
     </plugins>
   </build>
 
-- 
2.39.5