docs: public static VectorClock makeClock(Set<Integer> serverIds, long clockValue, long timestamp) {
          List<ClockEntry> clockEntries = new ArrayList<ClockEntry>(serverIds.size());
          for(Integer serverId: serverIds) {
              clockEntries.add(new ClockEntry(serverId.shortValue(), clockValue));
          }
          return new VectorClock(clockEntries, timestamp);
      }