From 06d9e77445fddb296ddb6306b916fc50e09d127c Mon Sep 17 00:00:00 2001
From: Andreas Abraham <aabraham@iaik.tugraz.at>
Date: Mon, 14 May 2018 15:19:46 +0200
Subject: cast to base class added related to java api change from 8 to 9

---
 pom.xml | 16 +++++++---------
 1 file changed, 7 insertions(+), 9 deletions(-)

(limited to 'pom.xml')

diff --git a/pom.xml b/pom.xml
index b8de832f..8a1ef731 100644
--- a/pom.xml
+++ b/pom.xml
@@ -79,15 +79,13 @@
         <plugin>
           <artifactId>maven-compiler-plugin</artifactId>
           <groupId>org.apache.maven.plugins</groupId>
-          <version>2.1</version>
-          <configuration>
-            <!--
-            <fork>true</fork>
-            <executable>${java_150_sun}/bin/javac</executable>
-            <compilerVersion>1.5</compilerVersion>
-            -->
-            <source>1.6</source>
-            <target>1.6</target>
+          <version>3.7.0</version>
+          <configuration>            
+            <fork>true</fork> 
+            <executable>${env.JAVA_HOME}\bin\javac.exe</executable> 
+            <compilerVersion>9</compilerVersion> 
+            <source>1.7</source>
+            <target>1.7</target>
             <verbose>true</verbose>
             <showWarnings>true</showWarnings>
             <encoding>UTF-8</encoding>
-- 
cgit v1.2.3