docs: public CoverageComponent addCoverage() { //3
        CoverageComponent t = new CoverageComponent();
        if (this.coverage == null)
          this.coverage = new ArrayList<CoverageComponent>();
        this.coverage.add(t);
        return t;
      }