# HG changeset patch # User robcast # Date 1373974762 -7200 # Node ID 2cba651b91ce2a892279f3721131648e8d4b30fb # Parent 4d874398315dc06f543ff15901e7f86580c1fe61 still making servlet3 the default. diff -r 4d874398315d -r 2cba651b91ce webapp/pom.xml --- a/webapp/pom.xml Tue Jul 16 13:12:48 2013 +0200 +++ b/webapp/pom.xml Tue Jul 16 13:39:22 2013 +0200 @@ -44,7 +44,6 @@ servlet2 - true servletapi 2 @@ -74,6 +73,7 @@ servlet3 + true servletapi 3