Fix Javadoc generation on Java 11

Signed-off-by: Lars Grefer <eclipse@larsgrefer.de>

diff --git a/runtime/pom.xml b/runtime/pom.xml
index 86d6d70edcaed135330429062b8577adc4f36711..4830f842d7c03da008c6218c719e73bbed445f9d 100644 (file)
--- a/runtime/pom.xml
+++ b/runtime/pom.xml
@@ -38,6 +38,7 @@
                                                        <goal>javadoc</goal>
                                                </goals>
                                                <configuration>
+                                                       <source>8</source>
                                                </configuration>
                                        </execution>
                                </executions>