rem: { if (appCore) { dump("Exiting\n"); appCore.exit(); } 
add: { if (appCore) { dump("Exiting\n"); appCore.exit(); 
context:   function EditorExit()  {    if (appCore) {	    dump("Exiting\n");      appCore.exit();    }  }
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/e11fb63db9c449f5b8f3532e59ec06858ddc8a59/EditorCommands.js/clean/editor/ui/composer/content/EditorCommands.js