if (oldChild.getNodeType() == Node.ATTRIBUTE_NODE) --attributes;
    public Node removeChild(Txn transaction, Node oldChild) throws DOMException {        if (!(oldChild instanceof StoredNode))            throw new DOMException(DOMException.WRONG_DOCUMENT_ERR, "wrong node type");        final StoredNode oldNode = (StoredNode) oldChild;        if (!oldNode.nodeId.getParentId().equals(nodeId))            throw new DOMException(DOMException.NOT_FOUND_ERR,                    "node is not a child of this element");        getBroker().removeAllNodes(transaction, oldNode, oldNode.getPath());        --children;        getBroker().endRemove();        getBroker().updateNode(transaction, this);        getBroker().flush();        return oldNode;    }