Fix for JDK-8212233 is not a workaround, it should have been done any…

…way.
jenkinsci · Apr 30, 2019 · fae8d61 · fae8d61
1 parent 660ff80
commit fae8d61
Showing 1 changed file with 1 addition and 23 deletions.
diff --git 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>