rem: if (window.editorShell) { 
add: if (editorShell) { 
context: function EditorGetHTML(){  if (window.editorShell) {    dump("Getting HTML\n");    var  outputText = window.editorShell.contentsAsHTML;    dump(outputText + "\n");  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/8f1b0f0e2f48f83a0ca1fc5b895d4b1c08312577/EditorCommands.js/buggy/editor/ui/composer/content/EditorCommands.js