if (node instanceof Element) {
            Element element = (Element) node;
            if (element.getTagName().equals("para") && stack.getFirst().getTagName().equals("para")) {
                pop();
                inPara = true;
            }
        }
        stack.getFirst().appendChild(node);
        if (inPara) {
            Element para = document.createElement("para");
            push(para);