Modifying web.xml for jboss