From 1058cca8ed489814bb8db84f2721d3cb69865808 Mon Sep 17 00:00:00 2001
From: Giancarlo Panichi <Giancarlo Panichi@dlib32.isti.cnr.it>
Date: Fri, 12 Jul 2019 14:41:01 +0200
Subject: [PATCH] Updated to the new documentation style

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

diff --git a/pom.xml b/pom.xml
index f5b6df9..2519637 100644
--- a/pom.xml
+++ b/pom.xml
@@ -47,6 +47,8 @@
 
 		<!-- Java -->
 		<maven.compiler.source>1.7</maven.compiler.source>
+		<maven.compiler.target>1.8</maven.compiler.target>
+
 
 		<!-- GWT configuration -->
 		<gwtVersion>2.6.1</gwtVersion>
@@ -91,8 +93,8 @@
 				<artifactId>maven-compiler-plugin</artifactId>
 				<version>3.1</version>
 				<configuration>
-					<source>1.7</source>
-					<target>1.7</target>
+					<source>${maven.compiler.source}</source>
+					<target>${maven.compiler.target}</target>
 				</configuration>
 			</plugin>