package admin;
import java.util.List;

/**
  * A GroupRecord is the information stored about a user group.  The Name
  * component is a unique group name of any length.  Leaders is a list of
  * zero or more users designated as group leader.  Members is the list of
  * group members, including the leaders.  Both lists consist of user id's.
  * Normally a group is required to have at least one leader.  The only
  * case that a group becomes leaderless is when its leader is deleted as a
  * registered user.
  */
abstract class GroupRecord {
    String name;
    List<String> leaders;
    List<String> members;
}