code: 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);
      }
docs: Generates a vector clock with the provided values
  
  @param serverIds servers in the clock
  @param clockValue value of the clock for each server entry
  @param timestamp ts value to be set for the clock
  @return