update to OWLAPI 4 (original at svn://svn.code.sf.net/p/owldiff)