/**
  * @param ext the file extension
  * @return name of the file.
  */
 public String getFileName(PackExt ext) {
   return packName + '.' + ext.getExtension();
 }