Migration to Servlet API 3.0.1