Github user spmallette commented on the issue:
https://github.com/apache/tinkerpop/pull/779
> my IDE is not ok with it.
please see:
http://tinkerpop.apache.org/docs/current/dev/developer/#_ide_setup_with_intellij
> So, should I make this change only on tp32 branch, and leave the master
branch to you guys?
as this does not look like a complicated change, you can just issue the
single PR to tp32 and we can handle the merged to master. thanks---
