# HG changeset patch
# User Robert Casties <casties@mpiwg-berlin.mpg.de>
# Date 1527621649 -7200
# Node ID fa7b1058b776860ec793fffacb46ea1e5498576c
# Parent  4b6c0b368f469ab108f6ef34ae4e831c0e2b1efc
fix java source version.

diff -r 4b6c0b368f46 -r fa7b1058b776 pom.xml
--- a/pom.xml	Tue May 29 21:15:06 2018 +0200
+++ b/pom.xml	Tue May 29 21:20:49 2018 +0200
@@ -210,8 +210,8 @@
 				<artifactId>maven-compiler-plugin</artifactId>
 				<version>2.5.1</version>
 				<configuration>
-					<source>1.6</source>
-					<target>1.6</target>
+					<source>1.7</source>
+					<target>1.7</target>
 					<encoding>UTF-8</encoding>
 					<showWarnings>true</showWarnings>
 					<showDeprecation>true</showDeprecation>