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