void removeListSelectionListener(ListSelectionListener listener) { sel_model.removeListSelectionListener(listener); }
public void removeListSelectionListener (ListSelectionListener listener) { sel_model.removeListSelectionListener (listener); }
	void removeListSelectionListener(ListSelectionListener listener) {		sel_model.removeListSelectionListener(listener);	}