Revert "Delete build.xml"

This reverts commit d4dd7d8fb59abab59b225370882b71a7bc6fbfe3.