From cd2eedb6f5684e47c0cefa6c2f4bab9868b9e772 Mon Sep 17 00:00:00 2001
From: Lars Grefer <eclipse@larsgrefer.de>
Date: Thu, 13 Aug 2020 03:58:56 +0200
Subject: [PATCH] Fix Javadoc generation on Java 11

Signed-off-by: Lars Grefer <eclipse@larsgrefer.de>
---
 runtime/pom.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/runtime/pom.xml b/runtime/pom.xml
index 86d6d70ed..4830f842d 100644
--- a/runtime/pom.xml
+++ b/runtime/pom.xml
@@ -38,6 +38,7 @@
 							<goal>javadoc</goal>
 						</goals>
 						<configuration>
+							<source>8</source>
 						</configuration>
 					</execution>
 				</executions>
-- 
2.39.5