public void dispose() { // Clean up listener when view is closed viewer.removeSelectionChangedListener(this); }