[OWLAPI-developer] Extend AnnotationValueShortFormProvider

[Ivan <uta...@gm...>]

I want AnnotationValueShortFormProvider to enclose all short forms obtained from annotation properties into double quotes.
My first intent was to subclass AnnotationValueShortFormProvider and override getRendering(), but it turned out that it was private. Then I tried to override getShortForm() which was public. It did not help because fields ontologySetProvider and alternateShortFormProvider had no public or protected getters. Moreover, the AnnotationLanguageFilter was not visible. So I could not just copy the implementation from AnnotationValueShortFormProvider.getShortForm(). But even if I could have done it, how would I knew whether the rendering  returned by getRendering() was obtained from an annotation property value and not from one of the alternative providers? So I just copied all the code from AnnotationValueShortFormProvider class and changed one single line. Is this the right approach to extend the OWL API?