git rm-ed a number of jars in ant/lib (already in .gitignore)