docs: public void handleViewChange(View view, Digest digest) {
          if(gms.isLeaving() && !view.containsMember(gms.local_addr))
              return;
          View prev_view=gms.view();
          gms.installView(view, digest);
          Address prev_coord=prev_view != null? prev_view.getCoord() : null, curr_coord=view.getCoord();
          if(!Objects.equals(curr_coord, prev_coord))
              coordChanged(prev_coord, curr_coord);
      }