From 61f31b41b685c74598f99fabc913a135dcc45545 Mon Sep 17 00:00:00 2001
From: James Perkins <jperkins@redhat.com>
Date: Thu, 28 Jan 2021 12:07:56 -0800
Subject: [PATCH] Use the java.home path for the javadoc executable. This works
 around issues when the JAVA_HOME environment variable is not set.

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

diff --git a/core/pom.xml b/core/pom.xml
index 37a27f38..a797dca8 100644
--- a/core/pom.xml
+++ b/core/pom.xml
@@ -84,6 +84,7 @@
                 <artifactId>maven-javadoc-plugin</artifactId>
                 <configuration>
                     <doclint>none</doclint>
+                    <javadocExecutable>${java.home}${file.separator}bin</javadocExecutable>
                 </configuration>
             </plugin>
             <plugin>