java 6 compatibility, owlapi 3.5.0