public void castViewChange(View new_view, Digest digest) { castViewChangeWithDest(new_view, digest, null); }
castViewChangeWithDest(firstReq.view, firstReq.digest, firstReq.target_members);
gms.castViewChangeWithDest(new_view, null, tmp_mbrs); gms.castViewChangeWithDest(new_view, null, tmp_mbrs);