docs: public static String getDateStampFromDumpFileDirectoryName(
  			DumpContentType dumpContentType, String directoryName) {
  		int prefixLength = dumpContentType.toString().length() + 1;
  		return directoryName.substring(prefixLength);
  	}