Buggy code:
@ Override public final Set < OWLClass > getInconsistentClasses ( ) { } protected Set < OWLClass > getInconsistentClassesImpl ( ) throws ReasoningMethodUnsupportedException { } @ Override public final boolean isSatisfiable ( ) { } protected boolean isSatisfiableImpl ( ) throws ReasoningMethodUnsupportedException { } @ Override public final boolean remainsSatisfiable ( OWLAxiom axiom ) { } protected boolean remainsSatisfiableImpl ( OWLAxiom axiom ) throws ReasoningMethodUnsupportedException { } @ Override public final Map < OWLObjectProperty , Set < OWLIndividual > > getObjectPropertyRelationships ( OWLIndividual individual ) { } protected Map < OWLObjectProperty , Set < OWLIndividual > > getObjectPropertyRelationshipsImpl ( OWLIndividual individual ) throws ReasoningMethodUnsupportedException { } @ Override public final Map < OWLDataProperty , Set < OWLLiteral > > getDataPropertyRelationships ( OWLIndividual individual ) { } protected Map < OWLDataProperty , Set < OWLLiteral > > getDataPropertyRelationshipsImpl ( OWLIndividual individual ) throws ReasoningMethodUnsupportedException { } @ Override public final Set < OWLIndividual > getRelatedIndividuals ( OWLIndividual individual , OWLObjectProperty objectProperty ) { } protected Set < OWLIndividual > getRelatedIndividualsImpl ( OWLIndividual individual , OWLObjectProperty objectProperty ) throws ReasoningMethodUnsupportedException { } @ Override public final Set < OWLLiteral > getRelatedValues ( OWLIndividual individual , OWLDataProperty datatypeProperty ) { } protected Set < OWLLiteral > getRelatedValuesImpl ( OWLIndividual individual , OWLDataProperty datatypeProperty ) throws ReasoningMethodUnsupportedException { } @ Override public final Set < OWLLiteral > getLabel ( OWLEntity entity ) { } protected Set < OWLLiteral > getLabelImpl ( OWLEntity entity ) throws ReasoningMethodUnsupportedException { } @ Override public final Map < OWLIndividual , SortedSet < OWLIndividual > > getPropertyMembers ( OWLObjectProperty atomicRole ) { } protected Map < OWLIndividual , SortedSet < OWLIndividual > > getPropertyMembersImpl ( OWLObjectProperty atomicRole ) throws ReasoningMethodUnsupportedException { } @ Override public final Map < OWLIndividual , SortedSet < OWLLiteral > > getDatatypeMembers ( OWLDataProperty datatypeProperty ) { } protected Map < OWLIndividual , SortedSet < OWLLiteral > > getDatatypeMembersImpl ( OWLDataProperty datatypeProperty ) throws ReasoningMethodUnsupportedException { } @ Override public final Map < OWLIndividual , SortedSet < Double > > getDoubleDatatypeMembers ( OWLDataProperty datatypeProperty ) { } protected Map < OWLIndividual , SortedSet < Double > > getDoubleDatatypeMembersImpl ( OWLDataProperty datatypeProperty ) throws ReasoningMethodUnsupportedException { } @ Override public final < T extends Number > Map < OWLIndividual , SortedSet < T > > getNumericDatatypeMembers ( OWLDataProperty datatypeProperty , Class < T > clazz ) { } protected < T extends Number > Map < OWLIndividual , SortedSet < T > > getNumericDatatypeMembersImpl ( OWLDataProperty datatypeProperty , Class < T > clazz ) throws ReasoningMethodUnsupportedException { } @ Override public final < T extends Number & Comparable < Number > > Map < OWLIndividual , SortedSet < T > > getNumericDatatypeMembers ( OWLDataProperty datatypeProperty ) { } protected < T extends Number & Comparable < Number > > Map < OWLIndividual , SortedSet < T > > getNumericDatatypeMembersImpl ( OWLDataProperty datatypeProperty ) throws ReasoningMethodUnsupportedException { } @ Override public final Map < OWLIndividual , SortedSet < Integer > > getIntDatatypeMembers ( OWLDataProperty datatypeProperty ) { } protected Map < OWLIndividual , SortedSet < Integer > > getIntDatatypeMembersImpl ( OWLDataProperty datatypeProperty ) throws ReasoningMethodUnsupportedException { } @ Override public final Map < OWLIndividual , SortedSet < Boolean > > getBooleanDatatypeMembers ( OWLDataProperty datatypeProperty ) { } protected Map < OWLIndividual , SortedSet < Boolean > > getBooleanDatatypeMembersImpl ( OWLDataProperty datatypeProperty ) throws ReasoningMethodUnsupportedException { } @ Override public final SortedSet < OWLIndividual > getTrueDatatypeMembers ( OWLDataProperty datatypeProperty ) { } protected SortedSet < OWLIndividual > getTrueDatatypeMembersImpl ( OWLDataProperty datatypeProperty ) throws ReasoningMethodUnsupportedException { } @ Override public final SortedSet < OWLIndividual > getFalseDatatypeMembers ( OWLDataProperty datatypeProperty ) { } protected SortedSet < OWLIndividual > getFalseDatatypeMembersImpl ( OWLDataProperty datatypeProperty ) throws ReasoningMethodUnsupportedException { } @ Override public final Map < OWLIndividual , SortedSet < String > > getStringDatatypeMembers ( OWLDataProperty datatypeProperty ) { } protected Map < OWLIndividual , SortedSet < String > > getStringDatatypeMembersImpl ( OWLDataProperty datatypeProperty ) throws ReasoningMethodUnsupportedException { } @ Override public final Set < OWLDataProperty > getDatatypeProperties ( ) { } protected Set < OWLDataProperty > getDatatypePropertiesImpl ( ) throws ReasoningMethodUnsupportedException { } @ Override public final Set < OWLDataProperty > getBooleanDatatypeProperties ( ) { } protected Set < OWLDataProperty > getBooleanDatatypePropertiesImpl ( ) throws ReasoningMethodUnsupportedException { } @ Override public final Set < OWLDataProperty > getNumericDataProperties ( ) { } protected Set < OWLDataProperty > getNumericDataPropertiesImpl ( ) throws ReasoningMethodUnsupportedException { <START_BUG> return getIntDatatypePropertiesImpl ( ) ; <END_BUG> } @ Override public final Set < OWLDataProperty > getIntDatatypeProperties ( ) { } protected Set < OWLDataProperty > getIntDatatypePropertiesImpl ( ) throws ReasoningMethodUnsupportedException { } @ Override public final Set < OWLDataProperty > getDoubleDatatypeProperties ( ) { } protected Set < OWLDataProperty > getDoubleDatatypePropertiesImpl ( ) throws ReasoningMethodUnsupportedException { } @ Override public final Set < OWLDataProperty > getStringDatatypeProperties ( ) { } protected Set < OWLDataProperty > getStringDatatypePropertiesImpl ( ) throws ReasoningMethodUnsupportedException { } @ Override public final OWLClassExpression getDomain ( OWLObjectProperty objectProperty ) { } protected OWLClassExpression getDomainImpl ( OWLObjectProperty objectProperty ) throws ReasoningMethodUnsupportedException { } @ Override public final OWLClassExpression getDomain ( OWLDataProperty datatypeProperty ) { } protected OWLClassExpression getDomainImpl ( OWLDataProperty datatypeProperty ) throws ReasoningMethodUnsupportedException { } @ Override public final OWLClassExpression getRange ( OWLObjectProperty objectProperty ) { } protected OWLClassExpression getRangeImpl ( OWLObjectProperty objectProperty ) throws ReasoningMethodUnsupportedException { } @ Override public final OWLDataRange getRange ( OWLDataProperty datatypeProperty ) { } protected OWLDataRange getRangeImpl ( OWLDataProperty datatypeProperty ) throws ReasoningMethodUnsupportedException { } @ Override public final SortedSet < OWLClassExpression > getSuperClasses ( OWLClassExpression concept ) { } protected SortedSet < OWLClassExpression > getSuperClassesImpl ( OWLClassExpression concept ) throws ReasoningMethodUnsupportedException { } @ Override public final SortedSet < OWLClassExpression > getSubClasses ( OWLClassExpression concept ) { } protected SortedSet < OWLClassExpression > getSubClassesImpl ( OWLClassExpression concept ) throws ReasoningMethodUnsupportedException { } public final SortedSet < OWLClassExpression > getEquivalentClasses ( OWLClassExpression concept ) { } @ Override public final SortedSet < OWLObjectProperty > getSuperProperties ( OWLObjectProperty role ) { }

Fix:
return Sets . union ( getIntDatatypePropertiesImpl ( ) , getDoubleDatatypePropertiesImpl ( ) ) ;