MICHAEL J. DEVINE