There is now MongoCollection.distinct() on GIT master: c0166ee

Thank you very much Sönke.