Obituary: John J. Mason, formerly of Milford