code: public Set<String> entries() {
          Set<String> es = this.entries;
          if (es == null) {
              // lazily scan the entries
              this.entries = scan();
          }
          return this.entries;
      }
docs: Returns all entries in this archive.