private boolean selectionChanging;

	@Override
	public synchronized void selectionChanged(IWorkbenchPart part, ISelection selection) {
		if (!selectionChanging) {
			try {
				selectionChanging = true;
				// Filter out label shapes as these are controlled by their ContainerShape owners
				// For example a "Select All" key action would select Labels as well.
				Iterator iter = ((IStructuredSelection)selection).iterator();
				List<Object> filteredObjects = new ArrayList<Object>();
				List<PictogramElement> pictogramElements = new ArrayList<PictogramElement>();
				while (iter.hasNext()) {
					boolean addIt = true;
					Object o = iter.next();
					if (o instanceof EditPart) {
						Object model = ((EditPart)o).getModel();
						if (model instanceof PictogramElement) {
							if (FeatureSupport.isLabelShape((PictogramElement)model)) {
								addIt = false;
							}
							else {
								pictogramElements.add((PictogramElement)model);
							}
						}
					}
					if (addIt)
						filteredObjects.add(o);
				}
				IStructuredSelection filteredSelection = new StructuredSelection(filteredObjects);
		
				// Graphiti understands multipage editors
				// but apparently GEF doesn't
				super.selectionChanged(part,filteredSelection); // Graphiti's DiagramEditorInternal
				super.selectPictogramElements(pictogramElements.toArray(new PictogramElement[pictogramElements.size()]));
				
				updateActions(getSelectionActions()); // usually done in GEF's GraphicalEditor
			}
			finally {
				selectionChanging = false;
			}
		}
	}