Deal with deprecations in mongo-java-driver v2.12

Fixes #1579 
This method has only existed for a few weeks and was never part of a release. That's why I just deleted it instead of deprecating it. 

To answer your question, I believe the other method would take over, but I did not test that.