Adding more servlet specs