function nsSetDefaultBrowser() { } 
function nsSetDefaultBrowser() {} 
function nsSetDefaultBrowser() {}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/6903fecffe83e703bda280e4d2337a8342797202/nsSetDefaultBrowser.js/buggy/browser/components/shell/src/nsSetDefaultBrowser.js