From 926a8428a8a61d4d150916b75c4dd293c3949716 Mon Sep 17 00:00:00 2001
From: Joakim Erdfelt <joakim.erdfelt@gmail.com>
Date: Thu, 18 Apr 2019 13:08:41 -0500
Subject: [PATCH] Updating maven-javadoc-plugin config for JDK-8212233 bug

Signed-off-by: Joakim Erdfelt <joakim.erdfelt@gmail.com>
---
 pom.xml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/pom.xml b/pom.xml
index a856666f485..703ef37f495 100644
--- a/pom.xml
+++ b/pom.xml
@@ -530,6 +530,8 @@
           <artifactId>maven-javadoc-plugin</artifactId>
           <version>3.0.1</version>
           <configuration>
+            <source>8</source>
+            <target>8</target>
             <charset>UTF-8</charset>
             <docencoding>UTF-8</docencoding>
             <encoding>UTF-8</encoding>