change version on servlet api to 3.1