/** Returns the appropriate session. */
  public SessionConfig sessionConfigNamed(String name) {

    for (Iterator i = sessionConfigs(); i.hasNext(); ) {
      SessionConfig session = (SessionConfig) i.next();
      if (name.equals(session.getName())) return session;
    }
    return null;
  }
  public void toString(StringBuffer sb) {
    super.toString(sb);

    sb.append(" [\n");
    for (Iterator i = sessionConfigs(); i.hasNext(); ) {
      SessionConfig session = (SessionConfig) i.next();
      sb.append("\t\t" + session.getName());
      if (i.hasNext()) {
        sb.append(",\n");
      }
    }
    sb.append(" ] ");
  }