docs: public DiagnosticFileDumper getDiagnosticFileDumper() {
  
          if (diagnosticFileDumper != null) {
              return diagnosticFileDumper;
          }
  
          String dd = sdkProperties.getProperty(DIAGNOTISTIC_FILE_DIRECTORY);
  
          if (dd != null) {
  
              diagnosticFileDumper = DiagnosticFileDumper.configInstance(new File(dd));
  
          }
  
          return diagnosticFileDumper;
      }