Updated to OWL API 3.5.1

DefaultExplanationOrderer was renamed between 3.5.0 and 3.5.1
Also updated required Java to 1.7