Ant build file: fixing Cobertura config