docs: public static String getDumpFileName(DumpContentType dumpContentType,
  			String projectName, String dateStamp) {
  		if (dumpContentType == DumpContentType.JSON) {
  			return dateStamp + WmfDumpFile.getDumpFilePostfix(dumpContentType);
  		} else {
  			return projectName + "-" + dateStamp
  					+ WmfDumpFile.getDumpFilePostfix(dumpContentType);
  		}
  	}