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