rem: observerService.notifyObservers(_content, notification, urlStr); 
add: observerService.notifyObservers(content, notification, urlStr); 
context:   endDocumentLoad : function(aRequest, aStatus)  {    // The document is done loading, it's okay to clear    // the value again.    getBrowser().userTypedClear = false;    const nsIChannel = Components.interfaces.nsIChannel;    var urlStr = aRequest.QueryInterface(nsIChannel).originalURI.spec;    var observerService = Components.classes["@mozilla.org/observer-service;1"]                                    .getService(Components.interfaces.nsIObserverService);    var notification = Components.isSuccessCode(aStatus) ? "EndDocumentLoad" : "FailDocumentLoad";    try {      observerService.notifyObservers(_content, notification, urlStr);    } catch (e) {    }    setTimeout(function() { if (document.getElementById("highlight").checked) toggleHighlight(true); }, 0);  }
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/beeac80043c4f0114db3c4e4e7646037c24c950b/browser.js/buggy/browser/base/content/browser.js