// we need to clone because we don't want to modify the original
// (we remove ourselves if LOCAL is false, see below) !
// real_dests=dests != null ? (Vector) dests.clone() : (members != null ? new Vector(members) : null);
if(dests != null) {
real_dests=(Vector)dests.clone();
real_dests.retainAll(this.members);
}
else {
synchronized(members) {
real_dests=new Vector(members);
}