String ids = idValue.getStringValue();
if (ids.indexOf(' ') < 0 &&
ids.indexOf(0x09) < 0 &&
ids.indexOf(0x0a) < 0 &&
ids.indexOf(0x0c) < 0) {
NodeInfo element = doc.selectID(ids);
if (element==null) return false;
return (element.isSameNodeInfo(e));
} else {
StringTokenizer tokenizer = new StringTokenizer(ids, " \t\n\r", false);
while (tokenizer.hasMoreElements()) {