var editor = that.preferences.data.editor; 
var editor = that.preferences.editor; 
  that.getEditor = function() {    var editor = that.preferences.data.editor;    // create an nsILocalFile for the executable    var file = Components.      classes["@mozilla.org/file/local;1"].      createInstance(Components.interfaces.nsILocalFile);    file.initWithPath(editor);    return file;  };
4463	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4463/bff2f65be18c7af8efd7bc0fe752d204210ff3a4/itsalltext.js/buggy/chrome/content/itsalltext.js