Moved VersionVector to DottedVersionVector