V1.2.3 release (for OWLAPI 3.5)