Github user VivienGiraud commented on the issue:
https://github.com/apache/tinkerpop/pull/854
OK, thanks @spmallette for the quick answer. We will try @davebshow patch
on our side ;)
BTW thank you @davebshow for this useful patch!---
