/** * Generates a vector clock with the provided nodes and current time stamp * This clock can be used to overwrite the existing value avoiding obsolete * version exceptions in most cases, except If the existing Vector Clock was * generated in custom way. (i.e. existing vector clock does not use * milliseconds) * * @param serverIds servers in the clock */ public static VectorClock makeClockWithCurrentTime(Set<Integer> serverIds) { return makeClock(serverIds, System.currentTimeMillis(), System.currentTimeMillis()); }