change Servlet API version to 3.1.0