RM-6833 Fix java docs generation on openJDK 11.0.2

2025-07-31 17:39:05 +00:00 · 2019-04-19 14:40:52 +01:00
parent ecfb3fdca9
commit 61e50fb10f
1 changed files with 1 additions and 0 deletions
--- a/pom.xml
+++ b/pom.xml
@@ -945,6 +945,7 @@
               <artifactId>maven-javadoc-plugin</artifactId>
               <configuration>
                  <doclint>none</doclint>
+                  <source>8</source>
               </configuration>
            </plugin>