while (enum.hasMoreElements()) { Occurrence occ = (Occurrence) enum.nextElement();
while (enumList.hasMoreElements()) { Occurrence occ = (Occurrence) enumList.nextElement();
    public static void createReferenceTags(File f, Vector tagList) {        Vector v = (Vector) _fileReferences.get(f);        if (v != null) {            Enumeration enum = v.elements();            while (enum.hasMoreElements()) {                Occurrence occ = (Occurrence) enum.nextElement();                HTMLTag occTag = occ.getOccurrenceTag();                if (occTag != null) {                    tagList.addElement(occTag);                }            }        }