RICHARD J. DEVINE