Github user FlorianHockmann commented on the issue:
https://github.com/apache/tinkerpop/pull/712
I had to do a few changes during the merge into master which can be seen
[in this
commit](https://github.com/apache/tinkerpop/commit/ab2fd2cadd64a7af1438977ad9d31e9feff16eec),
but now everything looks good and both branches build locally.---
