code: public WmfDumpFileManager getWmfDumpFileManager() {
  		try {
  			return new WmfDumpFileManager(this.projectName,
  					this.downloadDirectoryManager, this.webResourceFetcher);
  		} catch (IOException e) {
  			logger.error("Could not create dump file manager: " + e.toString());
  			return null;
  		}
  	}
docs: Returns a WmfDumpFileManager based on the current settings. This object
  can be used to get direct access to dump files, e.g., to gather more
  information. Most basic operations can also be performed using the
  interface of the {@link DumpProcessingController} and this is often
  preferable.
  <p>
  This dump file manager will not be updated if the settings change later.
  
  @return a WmfDumpFileManager for the current settings or null if there
  was a problem (e.g., since the current dump file directory could
  not be accessed)