Happened at a previous company for me too. They were paying people with their own 401k’s for quite some time before they went under. Some of my coworkers were putting in max contributions.
No one ever saw any of that money back. The management just rolled into a new venture like nothing happened. There were tons of lawsuits but they had all their money hidden away.