From 2967a238d5226e222cdea65134a7cdded640fc49 Mon Sep 17 00:00:00 2001
From: Ian Luo <ian.luo@gmail.com>
Date: Thu, 14 Mar 2019 10:38:13 +0800
Subject: [PATCH] workaround for issue #3646: javadoc lint issue

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

diff --git a/pom.xml b/pom.xml
index 545932bc8ef..014bc872e43 100644
--- a/pom.xml
+++ b/pom.xml
@@ -196,6 +196,15 @@
     </dependencies>
 
     <profiles>
+        <profile>
+            <id>javadoc-lint</id>
+            <activation>
+                <jdk>[1.8,)</jdk>
+            </activation>
+            <properties>
+                <doclint>none</doclint>
+            </properties>
+        </profile>
         <profile>
             <id>checkstyle</id>
             <activation>