Merge branch 'develop/6' of devhub.openlinksw.com:opensource/virtuoso-opensource into develop/7
Merge branch 'develop/7' of devhub.openlinksw.com:opensource/virtuoso-opensource into develop/7
Merge branch 'develop/7' of devhub.openlinksw.com:opensource/virtuoso-opensource into develop/7
Rebuild Jena2 provider