} else if (mTypesystem != null && resource.equals(mTypesystem.getResource())) {
mTypesystem.changedResource(resource, delta);
if (getTypesystemElement().getTypeSystem() != null) {
updateAnnotationTypeColors();
mEditorAnnotationStatus = new EditorAnnotationStatus(CAS.TYPE_NAME_ANNOTATION, null);
}
}
}