Merge pull request #39 from jglick/javadoc

Set source level for maven-javadoc-plugin
jenkinsci · May 2, 2019 · 23da954 · 23da954
2 parents 366790d + 831108c
commit 23da954
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>