docs: public synchronized void addStratum(SmapStratum stratum, boolean defaultStratum) {
          strata.add(stratum);
          if (defaultStratum)
              this.defaultStratum = stratum.getStratumName();
      }