From 28e7385fc08955a1352abf76177ab3798ec1cedd Mon Sep 17 00:00:00 2001
From: Markus Koschany <apo@debian.org>
Date: Thu, 23 Aug 2018 12:01:26 +0200
Subject: [PATCH] debian/maven.properties:Set source/target to 1.7.

Thanks: Santiago Vila for the report.
Closes: #906396
---
 debian/maven.properties | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/debian/maven.properties b/debian/maven.properties
index 3d7d449..24b7ad2 100644
--- a/debian/maven.properties
+++ b/debian/maven.properties
@@ -1,2 +1,4 @@
 
 project.build.sourceEncoding=UTF-8
+maven.compiler.source=1.7
+maven.compiler.target=1.7
-- 
GitLab