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