diff -r 5ad314cb2337 -r 0167b777ad15 server/pom.xml
--- 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>