(ant build.xml reformatted)