BLUEGREEN VACATIONS HOLDING CORP (BBX Capital Corp prior to 10/2020) Post date May 13, 2024 ← MUELLER INDUSTRIES INC → MATERION CORP (Brush Engineered Materials Inc prior to 03/2011)