code: public static String insertDumpInformation(String pattern,
  			String dateStamp, String project) {
  		if (pattern == null) {
  			return null;
  		} else {
  			return pattern.replace("{DATE}", dateStamp).replace("{PROJECT}",
  					project);
  		}
  	}
docs: Inserts the information about the dateStamp of a dump and the project
  name into a pattern.
  
  @param pattern
  String with wildcards
  @param dateStamp
  @param project
  @return String with injected information.