server.xml from 3.4.2