Renamed clueweb12 classes to reduce confusion with clueweb09 classes.
New API InputFormat for Clueweb09 collection; Record counting demos.