context: function renameProperty (obj, oldname, newname){    if (oldname == newname)        return;        obj[newname] = obj[oldname];    delete obj[oldname];    }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/d84f82bf3e11bd09e70e1036662b0018f8834acc/utils.js/buggy/extensions/irc/js/lib/utils.js