Migrate from Trove to Hppc. Files left behind during cherry picking.