@michaelklishin: I created a pull request https://github.com/michaelklishin/monger/pull/126 for fixing hinting on a cursor on the > 3.0 release

the CI fails though for openjdk7

@stijn: there were many build system changes on Travis that we didn't adapt for

also, not sure what MongoDB version it provides these days

I will test things locally in the evening, thank you

ok cool

I made the pull request against master. Not sure if that's correct, because I think this should go in 3.0.x

@stijn: I will cherry-pick