Initial build.xml derived from Tomcat's