fix servlet api version