rem: { if (appCore) { dump("Pasting\n"); appCore.paste(); } 
add: { if (appCore) { dump("Pasting\n"); appCore.paste(); 
context: 	function EditorPaste()  {    if (appCore) {	    dump("Pasting\n");      appCore.paste();    }  }
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/e11fb63db9c449f5b8f3532e59ec06858ddc8a59/EditorCommands.js/buggy/editor/ui/composer/content/EditorCommands.js