Relates to the retirement status of Denis Butler in the New York state and local employees' retirement system

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