state.add();
// clone, so that subsequent mutations of "state" will
// not affect the parameters of this event: bug 4733858:
RowKeySet selected = state.clone();
FacesEvent event = new SelectionEvent(table, unselected, selected);
event.queue();
}
}
}
finally
{