vector clock class is added