/** * @returns an entry name unique amongst names in this archive based on the triel name. */ protected String getUniqueEntryFilenameFor(Archive archive, String trialName) throws IOException { Vector entriesNames = new Vector(); Enumeration e = archive.entries(); while (e != null && e.hasMoreElements()) { entriesNames.add(e.nextElement()); } return Descriptor.createUniqueFilenameAmongst(trialName, entriesNames); }