Buggy code:
public class ManchesterOWLSyntaxObjectRenderer extends AbstractRenderer implements OWLObjectVisitor { public ManchesterOWLSyntaxObjectRenderer ( Writer writer , ShortFormProvider entityShortFormProvider ) { } @ Nonnull protected static List < ? extends OWLObject > sort ( @ Nonnull Collection < ? extends OWLObject > objects ) { } protected void write ( @ Nonnull Set < ? extends OWLObject > objects , @ Nonnull ManchesterOWLSyntax delimeter , boolean newline ) { } protected void writeCommaSeparatedList ( @ Nonnull Set < ? extends OWLObject > objects ) { } protected void write ( @ Nonnull Set < ? extends OWLClassExpression > objects , boolean newline ) { } private void writeRestriction ( @ Nonnull OWLQuantifiedDataRestriction restriction , @ Nonnull ManchesterOWLSyntax keyword ) { } private void writeRestriction ( @ Nonnull OWLQuantifiedObjectRestriction restriction , @ Nonnull ManchesterOWLSyntax keyword ) { } private < V extends OWLObject > void writeRestriction ( @ Nonnull OWLHasValueRestriction < V > restriction , @ Nonnull OWLPropertyExpression p ) { } private < F extends OWLPropertyRange > void writeRestriction ( @ Nonnull OWLCardinalityRestriction < F > restriction , @ Nonnull ManchesterOWLSyntax keyword , @ Nonnull OWLPropertyExpression p ) { } @ Override public void visit ( OWLClass ce ) { } @ Override public void visit ( @ Nonnull OWLObjectIntersectionOf ce ) { } @ Override public void visit ( @ Nonnull OWLObjectUnionOf ce ) { } @ Override public void visit ( @ Nonnull OWLObjectComplementOf ce ) { } @ Override public void visit ( OWLObjectSomeValuesFrom ce ) { } @ Override public void visit ( OWLObjectAllValuesFrom ce ) { } @ Override public void visit ( @ Nonnull OWLObjectHasValue ce ) { } @ Override public void visit ( @ Nonnull OWLObjectMinCardinality ce ) { } @ Override public void visit ( @ Nonnull OWLObjectExactCardinality ce ) { } @ Override public void visit ( @ Nonnull OWLObjectMaxCardinality ce ) { } @ Override public void visit ( @ Nonnull OWLObjectHasSelf ce ) { } @ Override public void visit ( @ Nonnull OWLObjectOneOf ce ) { } @ Override public void visit ( OWLDataSomeValuesFrom ce ) { } @ Override public void visit ( OWLDataAllValuesFrom ce ) { } @ Override public void visit ( @ Nonnull OWLDataHasValue ce ) { } @ Override public void visit ( @ Nonnull OWLDataMinCardinality ce ) { } @ Override public void visit ( @ Nonnull OWLDataExactCardinality ce ) { } @ Override public void visit ( @ Nonnull OWLDataMaxCardinality ce ) { } @ Override public void visit ( OWLObjectProperty property ) { } @ Override public void visit ( OWLDataProperty property ) { } @ Override public void visit ( OWLNamedIndividual individual ) { } @ Override public void visit ( OWLAnnotationProperty property ) { } @ Override public void visit ( OWLDatatype node ) { } @ Override public void visit ( @ Nonnull OWLAnonymousIndividual individual ) { <START_BUG> write ( individual . toString ( ) ) ; <END_BUG> } @ Override public void visit ( @ Nonnull IRI iri ) { } @ Override public void visit ( @ Nonnull OWLAnnotation node ) { } @ Override public void visit ( @ Nonnull OWLDataComplementOf node ) { } @ Override public void visit ( @ Nonnull OWLDataOneOf node ) { } @ Override public void visit ( @ Nonnull OWLDataIntersectionOf node ) { } @ Override public void visit ( @ Nonnull OWLDataUnionOf node ) { } @ Override public void visit ( @ Nonnull OWLDatatypeRestriction node ) { } @ Override public void visit ( @ Nonnull OWLLiteral node ) { } private void writeLiteral ( @ Nonnull String literal ) { } @ Override public void visit ( @ Nonnull OWLFacetRestriction node ) { } @ Override public void visit ( @ Nonnull OWLObjectInverseOf property ) { } private boolean wrapSave ; private boolean tabSave ; private void setAxiomWriting ( ) { } private void restore ( ) { } @ Override public void visit ( @ Nonnull OWLSubClassOfAxiom axiom ) { } @ Override public void visit ( @ Nonnull OWLNegativeObjectPropertyAssertionAxiom axiom ) { } @ Override public void visit ( @ Nonnull OWLAsymmetricObjectPropertyAxiom axiom ) { } @ Override public void visit ( @ Nonnull OWLReflexiveObjectPropertyAxiom axiom ) { } private void writeBinaryOrNaryList ( @ Nonnull ManchesterOWLSyntax binaryKeyword , @ Nonnull Set < ? extends OWLObject > objects , @ Nonnull ManchesterOWLSyntax naryKeyword ) { } @ Override public void visit ( @ Nonnull OWLDisjointClassesAxiom axiom ) { } @ Override public void visit ( @ Nonnull OWLDataPropertyDomainAxiom axiom ) { } @ Override public void visit ( @ Nonnull OWLObjectPropertyDomainAxiom axiom ) { } @ Override public void visit ( @ Nonnull OWLEquivalentObjectPropertiesAxiom axiom ) { } @ Override public void visit ( @ Nonnull OWLNegativeDataPropertyAssertionAxiom axiom ) { } @ Override public void visit ( @ Nonnull OWLDifferentIndividualsAxiom axiom ) { } @ Override public void visit ( @ Nonnull OWLDisjointDataPropertiesAxiom axiom ) { } @ Override public void visit ( @ Nonnull OWLDisjointObjectPropertiesAxiom axiom ) { } @ Override public void visit ( @ Nonnull OWLObjectPropertyRangeAxiom axiom ) { } @ Override public void visit ( @ Nonnull OWLObjectPropertyAssertionAxiom axiom ) { } @ Override public void visit ( @ Nonnull OWLFunctionalObjectPropertyAxiom axiom ) { } @ Override public void visit ( @ Nonnull OWLSubObjectPropertyOfAxiom axiom ) { } @ Override public void visit ( @ Nonnull OWLDisjointUnionAxiom axiom ) { } private void writeFrameType ( OWLObject object ) { } @ Override public void visit ( @ Nonnull OWLDeclarationAxiom axiom ) { } @ Override public void visit ( @ Nonnull OWLAnnotationAssertionAxiom axiom ) { } @ Override public void visit ( @ Nonnull OWLAnnotationPropertyDomainAxiom axiom ) { } @ Override public void visit ( @ Nonnull OWLAnnotationPropertyRangeAxiom axiom ) { } @ Override public void visit ( @ Nonnull OWLSubAnnotationPropertyOfAxiom axiom ) { } @ Override public void visit ( @ Nonnull OWLSymmetricObjectPropertyAxiom axiom ) { } @ Override public void visit ( @ Nonnull OWLDataPropertyRangeAxiom axiom ) { }

Fix:
write ( individual . toStringID ( ) ) ;