+
+ public void finalise() {
+ Node n = doc;
+ while(true) {
+ Node nx;
+ if(n.getFirstChild() != null) {
+ nx = n.getFirstChild();
+ } else if(n.getNextSibling() != null) {
+ nx = n.getNextSibling();
+ } else {
+ for(nx = n.getParentNode(); nx != null; nx = nx.getParentNode()) {
+ if(nx.getNextSibling() != null) {
+ nx = nx.getNextSibling();
+ break;
+ }
+ }
+ }
+ String ns = n.getNamespaceURI();
+ if((ns != null) && ns.equals(DocBuffer.ns))
+ n.getParentNode().removeChild(n);
+ if(nx == null)
+ break;
+ else
+ n = nx;
+ }
+ }