John Patrick Diggins (1935-2009)