Fix servlet api version.