Fixed a compilation issue in build.xml