ontopPro explicity requires java 1.7 [skip ci]