docs: public Address[] getNonSetMembers() {
          Address[] retval=new Address[countNonSetMembers()];
          if(retval.length == 0)
              return retval;
          int index=0;
          for(int i=0; i < members.length; i++)
              if(seqnos[i*2] == -1)
                  retval[index++]=members[i];
          return retval;
      }