Add servlet extension to allow the deployment to be configured