# HG changeset patch
# User robcast
# Date 1361447438 -3600
# Node ID 28c7a195bf4b2ded5130dbacd3004d63f3bb8bf0
# Parent  27e209181cbe70d65e1c762bc4cf3b0ae7a491f6
add servlet3 profile to root pom.

diff -r 27e209181cbe -r 28c7a195bf4b pom.xml
--- a/pom.xml	Wed Feb 20 18:49:22 2013 +0100
+++ b/pom.xml	Thu Feb 21 12:50:38 2013 +0100
@@ -39,6 +39,9 @@
   	     <activeByDefault>true</activeByDefault>
       </activation>
   	</profile>
+    <profile>
+      <id>servlet3</id>
+    </profile>
     <!-- optional modules with dependencies selected by profile -->
     <profile>
       <id>text</id>