public synchronized void setToken(boolean value) {
this.hasToken = value;
}
public void updateVTDeliver(TextMessage message) {
TimeVector msgVT = message.timeVector;
synchronized (CBCASTNetworkManager.class) {
for (int i = 0; i < Main.peerCount; i++)
if (timeVector.VT.get(i) < msgVT.VT.get(i))
timeVector.VT.set(i, msgVT.VT.get(i));