Changed owlapi to use java 6