}
}
final INotificationService notificationService = provider.getNotificationService();
final PictogramElement[] dirtyPEs
= notificationService.calculateRelatedPictogramElements(changedBOs.toArray());
if (dirtyPEs.length > 0) {
// do an asynchronous update in the UI thread
Display.getDefault().asyncExec(new Runnable() {