Fix to support Unicode characters in server.xml