code: void setConfigValues(Configuration config) {
      this.config = config;
      numParasToCheck = config.getNumParasToCheck();
      defaultParaCheck = numParasToCheck * PARA_CHECK_FACTOR;
      doResetCheck = config.isResetCheck();
    }
docs: set values set by configuration dialog