fix servlet api from 2.5 to 3.1