John Willis — British judge (1908-1988)