From fc119efedcd5428a45bdf62beb68dbd5b67fa62a Mon Sep 17 00:00:00 2001
From: Riccardo Azzolini <riccardo4096@gmail.com>
Date: Mon, 12 Aug 2019 17:05:01 +0200
Subject: [PATCH] Remove language level specification from warppi-core pom.xml

The language level is specified in the root pom.xml file, and there's no
need to override it here.
---
 core/pom.xml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/core/pom.xml b/core/pom.xml
index c648aeba..ba81e79a 100644
--- a/core/pom.xml
+++ b/core/pom.xml
@@ -57,10 +57,6 @@
 			<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>