function getLocalFileFromNativePathOrUrl(aPathOrUrl){  if (aPathOrUrl.substring(0,7) == "file://") {    // if this is a URL, get the file from that    let ioSvc = Cc["@mozilla.org/network/io-service;1"].                getService(Ci.nsIIOService);    // XXX it's possible that using a null char-set here is bad    const fileUrl = ioSvc.newURI(aPathOrUrl, null, null).                    QueryInterface(Ci.nsIFileURL);    return fileUrl.file.clone().QueryInterface(Ci.nsILocalFile);  } else {    // if it's a pathname, create the nsILocalFile directly    var f = new nsLocalFile(aPathOrUrl);    return f;  }}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/1e5d7222312959b7069fec9dc1342addc23c9dd6/downloads.js/buggy/toolkit/mozapps/downloads/content/downloads.js