/** * Creates UsecTimestamp based on specified UsecTimestamp. * * @param other * timestamp to copy * @throws NullPointerException * if timestamp is {@code null} */ public UsecTimestamp(UsecTimestamp other) { this(other.msecs, other.usecs, other.getLamportClock()); }