From 4081a4dcab8f0a0699e5cbdaaecd817b0a7b89a5 Mon Sep 17 00:00:00 2001
From: Baptiste Mathus <batmat@batmat.net>
Date: Fri, 8 Mar 2019 12:43:14 +0100
Subject: [PATCH] Add profile to workaround javadoc crash on JDK 11.0.2

Cf. for details https://bugs.openjdk.java.net/browse/JDK-8212233

Seen among many repos these days.
Known already to be blocking
* https://github.com/jenkinsci/workflow-job-plugin/pull/126
* https://github.com/jenkinsci/chucknorris-plugin/pull/19
...
---
 pom.xml | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

diff --git a/pom.xml b/pom.xml
index 942e2729a9..e83c5929ee 100644
--- a/pom.xml
+++ b/pom.xml
@@ -1490,5 +1490,28 @@
         </plugins>
       </build>
     </profile>
+    <profile>
+    <!-- Workaround for https://bugs.openjdk.java.net/browse/JDK-8212233
+    TODO: likely just forbid 11.0.2 when 11.0.3 is out -->
+      <id>javadoc-crash-jdk-11.0.2</id>
+      <activation>
+        <property>
+          <name>java.version</name>
+          <value>11.0.2</value>
+        </property>
+      </activation>
+      <build>
+          <pluginManagement>
+              <plugins>
+                  <plugin>
+                      <artifactId>maven-javadoc-plugin</artifactId>
+                      <configuration>
+                          <source>${java.level}</source>
+                      </configuration>
+                  </plugin>
+              </plugins>
+          </pluginManagement>
+      </build>
+    </profile>
   </profiles>
 </project>