EGELHOFF V. EGELHOFF
All retirement plan beneficiary designations and insurance policy beneficiaries need to be made or changed after a divorce. Do not rely on the entry of the Final Decree of Divorce to take care of it.
Plans governed by federal law have their owns rules which may not follow your wishes. See the U.S. Supreme Court decision in Egelhoff above.