Revert "Delete build.xml"

This reverts commit 78f3446c80cdfa4fa2ac6fe29a9805c67662ad78.