Change servlet-api version