From fae8d61e9af93dda34a1873c6910b8f25f986611 Mon Sep 17 00:00:00 2001
From: Jesse Glick <jglick@cloudbees.com>
Date: Tue, 30 Apr 2019 16:23:59 -0400
Subject: [PATCH] Fix for JDK-8212233 is not a workaround, it should have been
 done anyway.

---
 pom.xml | 24 +-----------------------
 1 file changed, 1 insertion(+), 23 deletions(-)

diff --git a/pom.xml b/pom.xml
index c6553763a8..80b739012a 100644
--- a/pom.xml
+++ b/pom.xml
@@ -379,6 +379,7 @@
           <artifactId>maven-javadoc-plugin</artifactId>
           <version>3.1.0</version>
           <configuration>
+            <source>${java.level}</source>
             <quiet>true</quiet>
             <links>
               <link>http://javadoc.jenkins.io/</link>
@@ -1492,28 +1493,5 @@
         </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>