const file = Components. 
var file = Components. 
    that.factoryFile = function(path) {        const file = Components.            classes["@mozilla.org/file/local;1"].            createInstance(Components.interfaces.nsILocalFile);        if (typeof(path) == 'string' && path !== '') {            file.initWithPath(path);        }        return file;    };
4463	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4463/967386313a0d67d4ce5f98df58baa2a5345804fe/itsalltext.js/buggy/src/chrome/content/itsalltext.js