Any changes here should also be done in web.xml.erb (for completeness).