docs: public static void updateTmpDirectoriesInConfiguration(
  			Configuration configuration,
  			@Nullable String defaultDirs) {
  		if (configuration.contains(CoreOptions.TMP_DIRS)) {
  			LOG.info("Overriding Fink's temporary file directories with those " +
  				"specified in the Flink config: {}", configuration.getValue(CoreOptions.TMP_DIRS));
  		} else if (defaultDirs != null) {
  			LOG.info("Setting directories for temporary files to: {}", defaultDirs);
  			configuration.setString(CoreOptions.TMP_DIRS, defaultDirs);
  			configuration.setBoolean(USE_LOCAL_DEFAULT_TMP_DIRS, true);
  		}
  	}