public void copy(DTMAxisIterator nodes, SerializationHandler handler) throws TransletException {
   int node;
   while ((node = nodes.next()) != DTM.NULL) {
     copy(node, handler);
   }
 }