From a74eeb5e448aa17154f52e5cfff71824ded204f2 Mon Sep 17 00:00:00 2001
From: Gabriele C <sgdc3.mail@gmail.com>
Date: Thu, 11 Feb 2016 11:36:54 +0100
Subject: [PATCH] update compiler

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index dce8e3d54..cbcc0f0b3 100644
--- a/pom.xml
+++ b/pom.xml
@@ -131,7 +131,7 @@
             <plugin>
                 <groupId>org.apache.maven.plugins</groupId>
                 <artifactId>maven-compiler-plugin</artifactId>
-                <version>3.5</version>
+                <version>3.5.1</version>
                 <configuration>
                     <source>1.7</source>
                     <target>${javaVersion}</target>