rem: profile.automigrate = true; return true; 
add: profile.automigrate = true; return true; 
context: function handleOKButton(){	profile.automigrate = true;	return true;}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/4ab181d797b7a76ff0b07e9e2ca40168fb954fd5/confirmMigration.js/buggy/profile/resources/content/confirmMigration.js