JENA-1565: Merge commit 'refs/pull/439/head' of https://github.com/apache/jena

This closes #439.