From 17cd9e9f005036312fb70c31c720411c1756042d Mon Sep 17 00:00:00 2001
From: anhefti <andreas.hefti@let.ethz.ch>
Date: Thu, 15 Nov 2018 16:46:55 +0100
Subject: [PATCH] jenkins

---
 pom.xml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index e72ce36e..a202f8dd 100644
--- a/pom.xml
+++ b/pom.xml
@@ -160,7 +160,6 @@
             <groupId>org.apache.maven.plugins</groupId>
             <artifactId>maven-compiler-plugin</artifactId>
             <configuration>
-              <release>1.8</release>
               <source>1.8</source>
               <target>1.8</target>
             </configuration>