change servlet-api from version 2.5 to version 3.1