Github user spmallette commented on the issue:
https://github.com/apache/tinkerpop/pull/704
....what the heck?! I wonder what got messed up there. i don't see a merge
from jorge from tp32 to master after that, so i guess it never got in there,
yet how could it have been ignored? we did tons of merges from tp32 to master
after his merge to tp32.
i guess you should cherry-pick them into master and then do your merge.
that's really strange. i'm not sure what to make of that.---
