Update to servlet-api 3.1