From fda19bf8ae522b274c125ff971019d67c591a21b Mon Sep 17 00:00:00 2001
From: Julian Hyde <jhyde@apache.org>
Date: Wed, 22 Jan 2020 01:04:32 -0800
Subject: [PATCH] Use correct maven-javadoc-plugin version

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

diff --git a/pom.xml b/pom.xml
index 2a684cac..77a1258b 100644
--- a/pom.xml
+++ b/pom.xml
@@ -193,6 +193,7 @@ License.
       <plugin>
         <groupId>org.apache.maven.plugins</groupId>
         <artifactId>maven-javadoc-plugin</artifactId>
+        <version>${maven-javadoc-plugin.version}</version>
         <!-- This is the configuration used by "mvn javadoc:javadoc". It is
              configured strict, so that it shows errors such as broken links in
              javadoc on private methods. The configuration for "mvn site" is