Github user dkuppitz commented on the issue:
https://github.com/apache/tinkerpop/pull/894
By the way, the `Dockerfile`, that's removed by this PR, has nothing to do
with the PR, but the file is an autogenerated file that shouldn't be in the
repository.---
