[ignore] ant jars now have version numbers: change bootstrap class path accordingly.
Merge pull request #176 from wolfgangmm/develop

[ignore] ant jars now have version numbers: change bootstrap class path ...