Ant build script for jenkins
Merge branch 'master' into API10