rem: this.dump( "updateMIMEInfo called...\n" ); this.dumpObjectProperties( "\tMIMEInfo", this.mLauncher.MIMEInfo ); 
add: this.dump( "updateMIMEInfo called...\n" ); this.dumpObjectProperties( "\tMIMEInfo", this.mLauncher.MIMEInfo ); 
context:     updateMIMEInfo: function() {         this.dump( "updateMIMEInfo called...\n" );         this.dumpObjectProperties( "\tMIMEInfo", this.mLauncher.MIMEInfo );    },
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/7d9590f3bfe05f81fc64ed1d4a69b9b240e3a813/nsHelperAppDlg.js/clean/embedding/components/ui/helperAppDlg/nsHelperAppDlg.js