James Cockle — British-Australian mathematician and judge