void setSelectionMode(int a) {  sel_model.setSelectionMode(a);   }
public void setSelectionMode(int a) { selectionModel.setSelectionMode(a); }
    void setSelectionMode(int a)    {  sel_model.setSelectionMode(a);   }