Schema result = findMatchByDigest(xdoc);
String shortname = state.relativize(absoluteURL);
if (result != null)
{
// if an exactly-the-same document has already been loaded, use the original and spew
String dupname = state.relativize(result.documentProperties().getSourceName());
if (dupname != null)
state.info(shortname + " is the same as " + dupname + " (ignoring the duplicate file)");
else
state.info(shortname + " is the same as another schema");
}