New build.xml for Jenkins.