code: public static String getDumpFileDirectoryName(
  			DumpContentType dumpContentType, String dateStamp) {
  		return dumpContentType.toString().toLowerCase() + "-" + dateStamp;
  	}
docs: Returns the name of the directory where the dumpfile of the given type
  and date should be stored.
  
  @param dumpContentType
  the type of the dump
  @param dateStamp
  the date of the dump in format YYYYMMDD
  @return the local directory name for the dumpfile