file.copyTo(newFile, "downloads.rdf"); 
if (/\.rdf$/i.test(aFName)) file.copyTo(newFile, "downloads.rdf"); else if (/\.sqlite$/i.test(aFName)) file.copyTo(newFile, "downloads.sqlite"); else do_throw("Unexpected filename!"); 
function importDownloadsFile(aFName){  var file = do_get_file("toolkit/components/downloads/test/unit/" + aFName);  var newFile = dirSvc.get("ProfD", Ci.nsIFile);  file.copyTo(newFile, "downloads.rdf");}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/a4b10289ddf3742cbdbf63c620cfcaf4c7e2af8f/head_download_manager.js/buggy/toolkit/components/downloads/test/unit/head_download_manager.js