highlightedResourcesIntersection
.addResourceSet(getContentResourceSet());
highlightedResourcesIntersection.addResourceSet(highlightedResources);
handlerRegistrations.addHandlerRegistration(highlightedResources
.addEventHandler(new ResourceSetChangedEventHandler() {
@Override
public void onResourceSetChanged(
ResourceSetChangedEvent event) {
updateHighlighting(event.getAddedResources(),
event.getRemovedResources());