sync with OWLAPI 3.4.10-SNAPSHOT
Synchronised with changes in OWLAPI 3.4.10