#2: fixed JavaDoc generation

devonfw · Nov 25, 2019 · 3b0b376 · 3b0b376
1 parent c536f08
commit 3b0b376
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/pom.xml b/pom.xml
@@ -107,6 +107,7 @@
             <docfilessubdirs>true</docfilessubdirs>
             <stylesheetfile>${user.dir}/src/main/javadoc/stylesheet.css</stylesheetfile>
             <doclint>none</doclint>
+            <source>${java.version}</source>
             <doctitle>JavaDocs for ${project.name} ${project.version}</doctitle>
             <windowtitle>JavaDocs for ${project.name} ${project.version}</windowtitle>
           </configuration>