*/
public void dispose() {
disposeStyleMaps(document.getDocumentElement());
if (document instanceof EventTarget) {
// Detach the mutation events listeners.
EventTarget et = (EventTarget)document;
et.removeEventListener("DOMAttrModified",
domAttrModifiedListener,
false);
et.removeEventListener("DOMNodeInserted",
domNodeInsertedListener,
false);
et.removeEventListener("DOMNodeRemoved",
domNodeRemovedListener,
false);
et.removeEventListener("DOMSubtreeModified",
domSubtreeModifiedListener,
false);
et.removeEventListener("DOMCharacterDataModified",
domCharacterDataModifiedListener,
false);
}
}