Jose's changes to the build.xml