/** * Sets the selection. * * @param selection * The selected items. Not null! */ private void setSelection(SelectionSet selection) { currentSelection.setSelected(false); selection.setSelected(true); connector.setSelection(selection); currentSelection = selection; }