Servlet 3.0 configuration in web.xml