Merge pull request #885 from mleneveut/master

Fix #884 : compilation error with Java8 and MongoDB