rem: var moveProfileFile = function(src, dest) { 
add: var moveProfileFile = function(src, dest) { 
context:   var moveProfileFile = function(src, dest) { // XXX: Why does this not work?    var srcfile = getProfileFile(src);        var destfile = getProfileFile(dest);    if (srcfile.exists()) {      if (destfile.exists()) {        destfile.remove(false);      }      srcfile.moveTo(null, dest);    }  };
meta: 3444	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3444/6d16d2398792e6b4fdd065aeb02351a0b494ec98/cookie-jar-selector.js/buggy/src/components/cookie-jar-selector.js