Upgrade servlet API version to reflect runtime usage