bugfix: wrong travis ant settings
Merge pull request #19 from wick-ed/master

bugfix: wrong travis ant settings