modify build.xml for tomcat8