change tomcat's web.xml at one line deployment