From 398090b539ec89eb55a6e39fe834a16670123850 Mon Sep 17 00:00:00 2001
From: "Bruno P. Kinoshita" <kinow@apache.org>
Date: Tue, 14 May 2019 21:15:39 +1200
Subject: [PATCH] Use source=8 for maven-javadoc-plugin

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

diff --git a/pom.xml b/pom.xml
index df0d271b3..efc41a33c 100644
--- a/pom.xml
+++ b/pom.xml
@@ -606,6 +606,13 @@
           </archive>
         </configuration>
       </plugin>
+      <plugin>
+        <groupId>org.apache.maven.plugins</groupId>
+        <artifactId>maven-javadoc-plugin</artifactId>
+        <configuration>
+            <source>8</source>
+        </configuration>
+      </plugin>
     </plugins>
   </build>