updated servlet api