docs: private static String guessDumpDate(String fileName) {
  		Pattern p = Pattern.compile("([0-9]{8})");
  		Matcher m = p.matcher(fileName);
  
  		if (m.find()) {
  			return m.group(1);
  		} else {
  			logger.info("Could not guess date of the dump file \"" + fileName
  					+ "\". Defaulting to YYYYMMDD.");
  			return "YYYYMMDD";
  		}
  	}