while (file && file.path != "/") { 
while (file && file.path != "/" && !file.path.match(/^[a-z]:$/i)) { 
    splitPath: function(file) {        var result = [];        while (file && file.path != "/") {            result.unshift(file.leafName);            file = file.parent;        }        return result;    }
4983	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4983/29e5a4f935299d518fa47a6cd6d807dc66026ed1/file-utils.js/buggy/src/content/file-utils.js