persist(referentFileClass, referentType, referentTag, referentClass, def.getOccurrence()); }
    private void persist(String referentFileClass, String referentType,                         String referentTag, String referentClass,                         Definition def) {        // System.out.println("persist: referentType="+referentType+" referentTag="+referentTag);        // boolean debugFlag = referentClass.equals("ReferencePersistor") && referentTag.equals("ReferencePersistor");        // if (debugFlag) {        // System.out.println("references "+references);        // System.out.println("output file "+filePath);        // }        JavaVector refs = def.getReferences();        if (refs != null) {            Enumeration enum = refs.elements();            while (enum.hasMoreElements()) {                Occurrence occ = (Occurrence) enum.nextElement();                // if (debugFlag) System.out.println("occ="+occ);                persist(referentFileClass, referentType, referentTag,                        referentClass, occ);            }        }