docs: List<MwDumpFile> mergeDumpLists(List<MwDumpFile> localDumps,
  			List<MwDumpFile> onlineDumps) {
  		List<MwDumpFile> result = new ArrayList<>(localDumps);
  
  		HashSet<String> localDateStamps = new HashSet<>();
  		for (MwDumpFile dumpFile : localDumps) {
  			localDateStamps.add(dumpFile.getDateStamp());
  		}
  		for (MwDumpFile dumpFile : onlineDumps) {
  			if (!localDateStamps.contains(dumpFile.getDateStamp())) {
  				result.add(dumpFile);
  			}
  		}
  		result.sort(Collections.reverseOrder(new MwDumpFile.DateComparator()));
  		return result;
  	}