/** returns the enumeration of the members in the group. */ public Enumeration<? extends Principal> members() { return groupMembers.elements(); }