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