Nullifies the retirement of Denis Butler; restores his active status in the New York state and local employees' retirement system.