Changelog:
* Updated build.xml for Jenkins.