server/pom.xml
branchuser_management
changeset 224 0167b777ad15
parent 223 5ad314cb2337
child 232 b7000ff4989b
--- 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>