Github user ajs6f commented on the issue:
https://github.com/apache/jena/pull/368
This looks basically good to me: with an additional commit addressing
https://github.com/apache/jena/pull/368#pullrequestreview-101006841, I'll be
happy to merge this.---
