bump version of servlet