Automated merge with ssh://godwit.cs.washington.edu//projects/swlab1/speculation/code/crystal/sourceRepo
Automated merge with ssh://godwit.cs.washington.edu//projects/swlab1/speculation/code/crystal/sourceRepo

brunyuriy/crystalvc,SoftwareEngineeringToolDemos/FSE-2011-Crystal,KaranDagar/crystalvc,KaranDagar/FSE-2011-Crystal---old,brunyuriy/crystalvc,SoftwareEngineeringToolDemos/FSE-2011-Crystal,SoftwareEngineeringToolDemos/FSE-2011-Crystal,KaranDagar/crystalvc,KaranDagar/FSE-2011-Crystal---old