undoing a change in build.xml that didn't work