From 73bc7a6569fef30886b32388796df84cfa8d6569 Mon Sep 17 00:00:00 2001
From: Vaci Koblizek <vaci@vaci.org>
Date: Sun, 27 Sep 2020 23:08:45 +0100
Subject: [PATCH] use Java version 10

---
 runtime/pom.xml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/runtime/pom.xml b/runtime/pom.xml
index 1a65045..6c9df08 100644
--- a/runtime/pom.xml
+++ b/runtime/pom.xml
@@ -28,6 +28,11 @@
             <name>David Renshaw</name>
             <url>https://github.com/dwrensha</url>
         </developer>
+        <developer>
+            <id>vaci</id>
+            <name>Vaci Koblizek</name>
+            <url>https://github.com/vaci</url>
+        </developer>
     </developers>
     <properties>
       <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
@@ -60,6 +65,8 @@
           <version>3.3</version>
           <configuration>
             <compilerArgument>-Xlint:unchecked</compilerArgument>
+              <source>10</source>
+              <target>10</target>
           </configuration>
         </plugin>
       </plugins>