public String getAgentName(int index) {
   return agentSupport.name(index);
 }
 public int indexOfAgent(int agent) {
   return agentSupport.indexOfAgent(agent);
 }
 public int getParticipant(int index) {
   return agentSupport.participant(index);
 }
 public int getRole(int index) {
   return agentSupport.role(index);
 }
 public int getAgent(int index) {
   return agentSupport.agent(index);
 }
 public int getAgentCount() {
   return agentSupport.size();
 }