Merge pull request #173 from batmat/workaround-javadoc-crash-jdk-11.0.2

[JENKINS-53788] - Add profile to workaround javadoc crash on JDK 11.0.2
jenkinsci · Mar 8, 2019 · 0c705d5 · 0c705d5
2 parents 64ed6ea + 4081a4d
commit 0c705d5
Showing 1 changed file with 23 additions and 0 deletions.
diff --git 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>