rem: this.location.replace(this.location); 
add:  this.location.href = this.location; 
context: function MigrateProfile(override){	// Hack to avoid writing two copies of this	if (override) 		selected = override;	if (!selected)	{		dump("Select a profile to migrate.\n");		return;	}	var name = selected.getAttribute("rowName");	var migrate = selected.getAttribute("rowMigrate");	if (migrate != "true")	{		dump("This profile doesn't need migration.\n");		return;	}	profileCore.MigrateProfile(name);	this.location.replace(this.location);}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/930041ae1753074ce1ece639df9116ecbaf8b822/pm.js/clean/profile/resources/pm.js