update servlet api version