Anonymous - 2011-02-14

This patch seems to fix the problem:
@@ -1001,7 +1001,10 @@
if (depth == -1) {
if (elem.code == HTMLElements.P) {
forceStartElement(element, emptyAttributes(), synthesizedAugs());
- endElement(element, augs);
+ boolean startElementWasCreated =forceStartElement(element, emptyAttributes(), synthesizedAugs());
+ if (startElementWasCreated) {
+ endElement(element, augs);
+ }
}
else if (!elem.isEmpty()) {
notifyDiscardedEndElement(element, augs);