From 0a9d25d75e3c392973aec43b1645a017b64bd0c6 Mon Sep 17 00:00:00 2001
From: chewiebug <jwu@gmx.ch>
Date: Sun, 24 Feb 2019 17:42:07 +0100
Subject: [PATCH] fix build on jdk11

---
 pom.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pom.xml b/pom.xml
index 2acdefed..b9ed17db 100644
--- a/pom.xml
+++ b/pom.xml
@@ -327,6 +327,7 @@
                         <links>
                             <link>http://docs.oracle.com/javase/8/docs/api/</link>
                         </links>
+                        <source>${jdk.source.version}</source>
                     </configuration>
                 </plugin>
                 <plugin>