update: servlet api version