docs: protected static Map<Address,Collection<Address>> determineMergeCoords(Map<Address,View> views) {
             Map<Address,Collection<Address>> retval=new HashMap<>();
             for(View view: views.values()) {
                 Address coord=view.getCreator();
                 Collection<Address> members=retval.computeIfAbsent(coord, k -> new ArrayList<>());
                 for(Address mbr: view.getMembersRaw())
                     if(!members.contains(mbr))
                         members.add(mbr);
             }
  
             // For the merge participants which are not coordinator, we simply add them, and the associated
             // membership list consists only of themselves
             Collection<Address> merge_participants=Util.determineMergeParticipants(views);
             merge_participants.removeAll(retval.keySet());
             merge_participants.stream().filter(merge_participant -> !retval.containsKey(merge_participant))
               .forEach(merge_participant -> retval.put(merge_participant, Collections.singletonList(merge_participant)));
             return retval;
         }