Recertifying the NFLPA

When the NFL lockout is resolved, does the NFLPA automatically get recertified, or does it need to be formally recertified?

I doubt it. The last time they decertified, in 1987, they didn’t recertify until 1993.

They recertified the other day.