基于openshift tools开发时，server.xml文件的修改