Renamed VectorClock to VectorClockTimestamp to prevent ambiguous sense