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