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