Set source level for maven-javadoc-plugin.

jenkinsci · May 1, 2019 · 831108c · 831108c
1 parent 366790d
commit 831108c
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/pom.xml b/pom.xml
@@ -223,6 +223,9 @@
         <plugin>
           <artifactId>maven-javadoc-plugin</artifactId>
           <version>${maven-javadoc-plugin.version}</version>
+          <configuration>
+            <source>${java.level}</source>
+          </configuration>
         </plugin>
         <plugin>
           <artifactId>maven-jxr-plugin</artifactId>