// add this resource's dead properties
Enumeration props = nrd.enumerateProperties();
while (props.hasMoreElements()) {
NodeProperty np = (NodeProperty)props.nextElement();
if (!result.contains(np)) {
result.addProperty(new RequestedPropertyImpl(np.getName(), np.getNamespace()));
}
}
}
return result;
}