void setSelectedIndex(int a) {  sel_model.setSelectionInterval(a,a); }
public void setSelectedIndex(int a) { selectionModel.setSelectionInterval(a, a); }
    void setSelectedIndex(int a)    {  sel_model.setSelectionInterval(a,a); }