code: public void initRound(Log other) {
          this.noticeWriter = other.noticeWriter;
          this.warnWriter = other.warnWriter;
          this.errWriter = other.errWriter;
          this.sourceMap = other.sourceMap;
          this.recorded = other.recorded;
          this.nerrors = other.nerrors;
          this.nwarnings = other.nwarnings;
      }
docs: Propagate the previous log's information.