From 6c8323daf9938563ddb1e277987e66da52e00f17 Mon Sep 17 00:00:00 2001
From: Riccardo Azzolini <riccardo4096@gmail.com>
Date: Sat, 24 Nov 2018 20:46:14 +0100
Subject: [PATCH] Set Java language level to 9

---
 core/pom.xml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/core/pom.xml b/core/pom.xml
index 39c3ca38..343a3a2c 100644
--- a/core/pom.xml
+++ b/core/pom.xml
@@ -57,6 +57,10 @@
 			<plugin>
 				<groupId>org.apache.maven.plugins</groupId>
 				<artifactId>maven-compiler-plugin</artifactId>
+				<configuration>
+					<source>9</source>
+					<target>9</target>
+				</configuration>
 			</plugin>
 			<plugin>
 				<groupId>org.apache.maven.plugins</groupId>