For the server.xml, use variables instead of sed replacement.