// forall bibtex keys (found in aux-file) try to find an equivalent
// entry into reference database
while (it.hasNext())
{
String str = it.next() ;
BibtexEntry entry = db.getEntryByKey(str);
if (entry == null)
{
notFoundList.add(str) ;
} else
{
insertEntry(auxDB, entry);
// Check if the entry we just found references another entry which
// we don't already have in our list of entries to include. If so,
// pull in that entry as well:
String crossref = entry.getField("crossref");
if ((crossref != null) && (!mySet.contains(crossref))) {
BibtexEntry refEntry = db.getEntryByKey(crossref);
/**
* [ 1717849 ] Patch for aux import by Kai Eckert
*/
if (refEntry == null) {
notFoundList.add(crossref);