MongoOptions has an option to set a global DBEncoderFactory, but as far as I can tell, it is never used and you thus always have to set it on individual DBCollection objects. This is quite inconvenient if you always want to use non-default ones. Could this be fixed or at least documented?