*/
public void copy(Receiver out, int whichNamespaces, boolean copyAnnotations, int locationId) throws XPathException {
// The underlying code does not do whitespace stripping. So we need to interpose
// a stripper.
Stripper stripper = docWrapper.getStripper().getAnother();
stripper.setUnderlyingReceiver(out);
node.copy(stripper, whichNamespaces, copyAnnotations, locationId);
}