{
// unable to read digest... no problem, ignore then
}
// ok, this really is a new XSD file then, of unknown URL origin
DownloadedSchemaEntry newEntry = addNewEntry();
newEntry.setFilename(filename);
warning("Caching information on new local file " + filename);
if (digest != null)
newEntry.setSha1(digest);
seenResources.add(updateResource(newEntry));
}
if (deleteOnlyMentioned)