rem: if (!file) { 
add:  var file; if (aFilePath.substring(0,5) == 'file:') { file = gFileHandler.getFileFromURLSpec(aFilePath) .QueryInterface(lfIID); } else { 
context: function createLocalFile(aFilePath) {  const lfIID = Components.interfaces.nsILocalFile;  var file;  try {    file = gFileHandler.getFileFromURLSpec(aFilePath)                       .QueryInterface(lfIID);  }  catch(ex) {  }  // XXXvarga We should fix the download manager to be consistent, that is,  // use urls instead of local paths when adding new items to the list.  // Once it's fixed, the code below can be removed.  // See bug 208113 for more details.  if (!file) {    const lfContractID = "@mozilla.org/file/local;1";    file = Components.classes[lfContractID].createInstance(lfIID);    file.initWithPath(aFilePath);  }  return file;}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/e1522e5284ee9f8ac57a7e91516cf626865e3c73/downloadmanager.js/buggy/xpfe/components/download-manager/resources/downloadmanager.js