private void copy(String text) {
final Clipboard cb = new Clipboard(display);
final TextTransfer transfer = TextTransfer.getInstance();
cb.setContents(new Object[] { text }, new Transfer[] { transfer });
cb.dispose();
}
@Override
public void dispose() {
selectionSource.removeSelectionChangedListener(this);