Update to work with the latest OWLAPI snapshot