rem: if (gProxyFavIcon.getAttribute("src") != aURL) 
add: if (!aURL) PageProxyClearIcon(); else if (gProxyFavIcon.getAttribute("src") != aURL) 
context: function PageProxySetIcon (aURL){  if (!gProxyFavIcon)    return;  if (gProxyFavIcon.getAttribute("src") != aURL)    gProxyFavIcon.setAttribute("src", aURL);  else if (gProxyDeck.selectedIndex != 1)    gProxyDeck.selectedIndex = 1;}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/e9d79a9a242cbe8e214dfd370ac7316498c0badf/browser.js/buggy/browser/base/content/browser.js