proxyId = (AgentId) proxiesTable.get(name);
if (readers.contains(proxyId))
reply.addReader(name, proxyId.toString());
if (writers.contains(proxyId))
reply.addWriter(name, proxyId.toString());
}
return reply;
}
protected void requestGroupNot(AgentId from, RequestGroupNot not) {