/**
  * This function returns a unique category output path for the specified category. It is of the
  * form "<base output path>/yyMMdd/<category>/HHmmssSSS"
  *
  * @param category the name of the category
  * @return the canonical path of the unique category output path
  * @throws IOException
  */
 public static String getUniqueCategoryOutputPath(String category) throws IOException {
   String categoryOutputPath = FileManager.getCategoryOutputPath(category);
   String timeStamp = FileManager.getTimeStamp();
   String uniqueCategoryOutputPath = FileManager.createDirectory(categoryOutputPath + timeStamp);
   FileManager.pause();
   return uniqueCategoryOutputPath + System.getProperty("file.separator");
 }
 /**
  * This function initializes the category output path as defined above.
  *
  * @param category the name of the category
  * @throws IOException
  */
 private static void initializeCategoryOutputPath(String category) throws IOException {
   String outputPath = FileManager.createDirectory(getDailyOutputPath() + category);
   FileManager.categoryOutputPaths.put(category, outputPath);
 }
 /**
  * This function initializes the daily output path as defined above.
  *
  * @throws IOException
  */
 private static void initializeDailyOutputPath() throws IOException {
   SimpleDateFormat formatter = new SimpleDateFormat("yy-MM-dd");
   String dateString = formatter.format(new Date());
   FileManager.dailyOutputPath = FileManager.createDirectory(getBaseOutputPath() + dateString);
 }