docs: 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;
  		}
  	}