rem: dump("failed to set the page title.\n"); 
add: dump("Failed to set the page title in history\n"); 
context: function UpdateHistory(event){    // This is registered as a capturing "load" event handler. When a    // document load completes in the content window, we'll be    // notified here. This allows us to update the global history and    // set the document's title information.   //  dump("UpdateHistory: content's location is '" + window.content.location.href + "',\n");    //dump("                         title is '" + window.content.document.title + "'\n");	if ((window.content.location.href) && (window.content.location.href != ""))	{		try		{			var history = Components.classes["component://netscape/browser/global-history"].getService();			if (history) history = history.QueryInterface(Components.interfaces.nsIGlobalHistory);			if (history) history.SetPageTitle(window.content.location.href, window.content.document.title);		}		catch (ex)		{			dump("failed to set the page title.\n");		}	}}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/3d363f06d4daaea6dcec5a9887c44e56f151fad4/navigator.js/clean/xpfe/browser/resources/content/navigator.js