rem: dump("In EditorShutdown..\n"); return editorShell.Shutdown(); 
context: function EditorShutdown(){  dump("In EditorShutdown..\n");  return editorShell.Shutdown();}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/a388c1b7dd66396d599b3472e3af9d981aa6a190/editor.js/clean/editor/ui/composer/content/editor.js