public W3CDOMStreamReader(DocumentFragment docfrag) {
   super(
       new ElementFrame<Node, Node>(docfrag, true) {
         public boolean isDocumentFragment() {
           return true;
         }
       });
   this.document = docfrag.getOwnerDocument();
 }