/** @see org.eclipse.gef.EditPart#setSelected(int) */ public void setSelected(int value) { super.setSelected(value); if (getCastedModel().getConnectionLabel() != null) { ConnLabelEditPart part = (ConnLabelEditPart) children.get(0); if (part.getSelected() != value) part.setSelected(value); } }