Restored erroneously deleted build.xml