fixed ant build files for jenkins
fixed weirdly broken project.properties
Merge remote-tracking branch 'original/master'
Merge pull request #84 from NicolasKessler/master

No changes in the code, just fixed ant build files for jenkins