String agents[] = model.listEntries(model.AGENT, DefaultRobustnessController.ACTIVE);
String agents[] = model.listAllEntries();
  protected void pingAll() {    String agents[] = model.listEntries(model.AGENT, DefaultRobustnessController.ACTIVE);    for (int i = 0; i < agents.length; i++) {      doPing(agents[i], DefaultRobustnessController.ACTIVE, DEAD);    }  }