private void handleViewChange(View view) {
List<Address> new_mbrs = view.getMembers();
List<Address> left_mbrs = Util.determineLeftMembers(members, new_mbrs);
members.clear();
members.addAll(new_mbrs);
for (Address mbr : left_mbrs) {
// the new view doesn't contain the sender, it must have left,
// hence we will clear all of itsfragmentation tables
fragment_list.remove(mbr);
if (log.isTraceEnabled())
log.trace("[VIEW_CHANGE] removed " + mbr + " from fragmentation table");
}
}
