#ifdef MOZ_PLACES_BOOKMARKS 
  onLinkIconAvailable : function(aBrowser)  {    if (gProxyFavIcon &&        gBrowser.mCurrentBrowser == aBrowser &&        gBrowser.userTypedValue === null)    {      // update the favicon in the URL bar      PageProxySetIcon(aBrowser.mIconURL);    }#ifdef MOZ_PLACES_BOOKMARKS    // Save this favicon in the favicon service    if (aBrowser.mIconURL) {      var faviconService = Components.classes["@mozilla.org/browser/favicon-service;1"]        .getService(Components.interfaces.nsIFaviconService);      var uri = Components.classes["@mozilla.org/network/io-service;1"]        .getService(Components.interfaces.nsIIOService).newURI(aBrowser.mIconURL, null, null);      faviconService.setAndLoadFaviconForPage(aBrowser.currentURI, uri, false);    }#endif  },
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/8854db12e8b678dbe0bcac27fd9d1d2099820a39/browser.js/buggy/browser/base/content/browser.js