add: } 
context: function postURLToNativeWidget() {    if ( urlWidgetService ) {        var url = window._content.location.href;        try {            urlWidgetService.SetURLToHiddenControl( url, window );        } catch( exception ) {            debug(" SetURLToHiddenControl failed: " + exception + "\n");        }    }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/cd80143aee6dbfef87e3bdbb3948780e5f478fca/navigator.js/buggy/suite/browser/navigator.js