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