545546547548549550551552553554555
AgentId clientId; // For each subscriber... for (int i = 0; i < subscribers.size(); i++) { clientId = (AgentId) subscribers.get(i); forward(clientId, new UnknownAgent(getId(), null)); } clusterLeave(); setSave(); // state change, so save. }