eclipse formatting style for OWL API