download with ant download manager