rem: MicrosummaryPicker.destroy(); 
add: if (MicrosummaryPicker.enabled) MicrosummaryPicker.destroy(); 
context: function Cancel(){  MicrosummaryPicker.destroy();  return true;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/4702957aefe02cf33b27335f1f32aef273ccb533/bookmarksProperties.js/buggy/browser/components/bookmarks/content/bookmarksProperties.js