Github user svanteschubert commented on the issue:
https://github.com/apache/tinkerpop/pull/892
Yes, let us not waste any further time on such a trivial topic.
If everyone else feels fine with an optional normalization of integer keys
jumping around than it should be fine for me as well and I will work on a local
fixed version... ;-)
You may close this patch and I will provide one solely for the previous one
creating a new branch and patch.---
