Github user FlorianHockmann commented on the issue:
https://github.com/apache/tinkerpop/pull/704
> Should we file a different ticket for the pool improvements?
Yes, I think a dedicated ticket for those improvements is a good idea and
it makes probably sense if you create it as you already made some good
suggestions.---
