docs: public Set<Address> getDestination(MessageID messageID) {
          MessageInfo messageInfo = sentMessages.get(messageID);
          Set<Address> destination;
          if (messageInfo != null) {
              destination = new HashSet<>(messageInfo.destinations);
          } else {
              destination = Collections.emptySet();
          }
          return destination;
      }