code: private void merge(ExecutionStatistics otherStatistics) {
          for (String s : otherStatistics.executionInfo.keySet())
          {
              TimingData thisStats = this.executionInfo.get(s);
              TimingData otherStats = otherStatistics.executionInfo.get(s);
              if(thisStats == null) {
                  this.executionInfo.put(s,otherStats);
              } else {
                  thisStats.merge(otherStats);
              }
  
          }
      }
docs: Merge two ExecutionStatistics into one. This method is private in order not to be synchronized (merging.
  @param otherStatistics