Ant build: Use correct AntTask as reported by forbidden-apis-check, Print out which documentation directory is looked at in -check-docs