return retval; 
    that.getEditor = function() {        var editor = that.preferences.editor;        if (editor === '' && that.isMac()) {            editor = '/usr/bin/open';             that.preferences._set('editor', editor);        }        if (editor === '') {            return null;        } else {            return that.factoryFile(editor);        }    };
4463	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4463/77aaaad439ee8ccd617e1d708ef912da693f9d93/itsalltext.js/buggy/src/chrome/content/itsalltext.js