// throw new XPathException("Key " + context.getNamePool().getDisplayName(keyNameFingerprint) +
// " has not been defined", "XTDE1260", context);
// }
KeyDefinition definition = (KeyDefinition)definitions.get(0);
// the itemType and collation and BC mode will be the same for all keys with the same name
StringCollator collation = definition.getCollation();
if (keySet.isBackwardsCompatible()) {
// if backwards compatibility is in force, treat all values as strings
soughtValue = soughtValue.convert(BuiltInAtomicType.STRING, true, context).asAtomic();
} else {