update servlet version