vector clock fix
using treemap to store clocks in VectorClock