I20251126-2330
Annotation.getText() allows to return null values. Fixes https://github.com/eclipse-platform/eclipse.platform.ui/issues/3556
Annotation.getText() allows to return null values. Fixes https://github.com/eclipse-platform/eclipse.platform.ui/issues/3556