8th commit: upgraded Servlet API 2.5 -> 3.1