Deployment Descriptor in Different Servlet Versions