From 260dc830998d38aaf5961a0e464fdde563a42cb1 Mon Sep 17 00:00:00 2001
From: Ton van Bart <tonvanbart@gmail.com>
Date: Thu, 1 Dec 2016 10:47:47 +0100
Subject: [PATCH] use java.version property in pom.xml

---
 Java/pom.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Java/pom.xml b/Java/pom.xml
index 6bc19860..6add3690 100644
--- a/Java/pom.xml
+++ b/Java/pom.xml
@@ -27,8 +27,8 @@
             <plugin>
                 <artifactId>maven-compiler-plugin</artifactId>
                 <configuration>
-                    <source>1.8</source>
-                    <target>1.8</target>
+                    <source>${java.version}</source>
+                    <target>${java.version}</target>
                 </configuration>
             </plugin>
         </plugins>