--- a/server/pom.xml Mon Oct 21 15:00:17 2013 +0200
+++ b/server/pom.xml Mon Oct 21 17:55:12 2013 +0200
@@ -52,6 +52,9 @@
<configuration>
<source>1.7</source>
<target>1.7</target>
+ <compilerArgs>
+ <arg>-Xlint</arg>
+ </compilerArgs>
</configuration>
</plugin>