/**
  * 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");
 }