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: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/7a1c4d2c69f483a4524b43e446c4278a78630ed2/nsHelperAppDlg.js/buggy/embedding/components/ui/helperAppDlg/nsHelperAppDlg.js