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>