From 6168d2b7167d28665a10fe836ae03facd7f4612e Mon Sep 17 00:00:00 2001
From: Guillaume Nodet <gnodet@gmail.com>
Date: Thu, 10 Dec 2020 16:21:41 +0100
Subject: [PATCH] Avoid javadoc warnings and do not generate javadoc for demos

---
 demo/pom.xml  | 9 +++++++++
 graal/pom.xml | 9 +++++++++
 pom.xml       | 1 -
 3 files changed, 18 insertions(+), 1 deletion(-)

diff --git a/demo/pom.xml b/demo/pom.xml
index fc70152ac..692d7e2e6 100644
--- a/demo/pom.xml
+++ b/demo/pom.xml
@@ -214,6 +214,15 @@
                     </execution>
                 </executions>
             </plugin>
+            <plugin>
+                <artifactId>maven-javadoc-plugin</artifactId>
+                <executions>
+                    <execution>
+                        <id>javadoc</id>
+                        <phase>none</phase>
+                    </execution>
+                </executions>
+            </plugin>
         </plugins>
     </build>
 
diff --git a/graal/pom.xml b/graal/pom.xml
index 4b7565d38..f850a0f3d 100644
--- a/graal/pom.xml
+++ b/graal/pom.xml
@@ -123,6 +123,15 @@
                     </buildArgs>
                 </configuration>
             </plugin>
+            <plugin>
+                <artifactId>maven-javadoc-plugin</artifactId>
+                <executions>
+                    <execution>
+                        <id>javadoc</id>
+                        <phase>none</phase>
+                    </execution>
+                </executions>
+            </plugin>
         </plugins>
     </build>
 
diff --git a/pom.xml b/pom.xml
index 902311242..aaece56fd 100644
--- a/pom.xml
+++ b/pom.xml
@@ -576,7 +576,6 @@
             <id>java9</id>
             <properties>
                 <surefire.argLine>--add-opens java.base/java.io=ALL-UNNAMED</surefire.argLine>
-                <javadocOptions>-html4</javadocOptions>
             </properties>
             <activation>
                 <jdk>[9,)</jdk>