docs: public MwDumpFile getMostRecentDump(DumpContentType dumpContentType) {
  		WmfDumpFileManager wmfDumpFileManager = getWmfDumpFileManager();
  		if (wmfDumpFileManager == null) {
  			return null;
  		} else {
  			MwDumpFile result = wmfDumpFileManager
  					.findMostRecentDump(dumpContentType);
  			if (result == null) {
  				logger.warn("Could not find any dump of type "
  						+ dumpContentType.toString() + ".");
  			}
  			return result;
  		}
  	}