Update build.xml; undo previous change

I thought I had closed that specific pull request but it was still active and now in the Copyright pull request
Merge pull request #573 from hvdwolf/master

Update build.xml; undo previous change