From 841dfa7bd521c2c8f8fe485806b94ae56c32fec4 Mon Sep 17 00:00:00 2001
From: Knut Wannheden <knut.wannheden@gmail.com>
Date: Fri, 30 Aug 2019 12:44:13 +0200
Subject: [PATCH] [jOOQ/jOOQ#9099] Try using maven-javadoc-plugin 3.0.1 instead

There were still more problems while building the Javadoc for other
Maven modules (other than jooq-checker). Trying with
maven-javadoc-plugin version 3.0.1 now.
---
 jOOQ-checker/pom.xml | 10 ----------
 pom.xml              |  3 ++-
 2 files changed, 2 insertions(+), 11 deletions(-)

diff --git a/jOOQ-checker/pom.xml b/jOOQ-checker/pom.xml
index 55eb31d3f0..3a1610ffdd 100644
--- a/jOOQ-checker/pom.xml
+++ b/jOOQ-checker/pom.xml
@@ -41,16 +41,6 @@
                     </archive>
                 </configuration>
             </plugin>
-
-
-
-
-
-
-
-
-
-
         </plugins>
     </build>
 
diff --git a/pom.xml b/pom.xml
index e9108cf167..b2d93b3360 100644
--- a/pom.xml
+++ b/pom.xml
@@ -306,7 +306,8 @@
                 <plugin>
                     <groupId>org.apache.maven.plugins</groupId>
                     <artifactId>maven-javadoc-plugin</artifactId>
-                    <version>3.1.1</version>
+                    <!-- [#9099] later versions up to 3.1.1 don't appear to work (to be tested with 3.1.2) -->
+                    <version>3.0.1</version>
                     <inherited>true</inherited>
                     <executions>
                         <execution>