Only set production mode context parameter in web.xml

This avoids duplicating servlet configuration in web.xml