private Vector<Address> oldMembers;
@ViewChanged
public void handleViewChange(ViewChangedEvent event)
{
View newView = event.getNewView();
if (trace)
log.trace("BuddyManager CacheListener - got view change with new view " + newView);
Vector<Address> newMembers = newView.getMembers();
// the whole 'oldMembers' concept is only used for buddy pool announcements.
MembershipChange mc = new MembershipChange(oldMembers == null ? null : new Vector<Address>(oldMembers), new Vector<Address>(newMembers));
enqueueViewChange(mc);
if (oldMembers == null) oldMembers = new Vector<Address>();