rem: { if (appCore != null) appCore.printPreview(); } 
add: {   dump("BrowserPrintPreview\n"); if (appCore != null) { dump("Changing Icons\n"); appCore.printPreview(); } else { dump("BrowserAppCore has not been created!\n"); } } 
context: function BrowserPrintPreview(){  if (appCore != null)    appCore.printPreview();}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/d018fa4b19f17d32d733b05d0c9a9718bc7657a3/navigator.js/clean/xpfe/browser/resources/content/navigator.js