}

        void onHtmlElementAttribute(String name, String value) {
        }

        void onStartHtmlElementComplete(String name) {
        }

        void onEndHtmlElement(String name) {
        }

        void onStartJavadocTag(String name) {
        }

        void onEndJavadocTag(String name) {
        }

        void onText(String text) {
        }

            if (elementStack.contains(element)) {
                while (!elementStack.getFirst().equals(element)) {
                    visitor.onEndHtmlElement(elementStack.removeFirst());
                }
                elementStack.removeFirst();
                visitor.onEndHtmlElement(element);
            }
        }

        private void unwindTo(Collection<String> ancestors, TokenVisitor visitor) {