John Leonard — English barrister and judge (1926-2002)