javadoc fix
format
tests for Nico's bugs

some unit tests disabled to speed up release
OWLAPI 3.5.0