Robinson, Charles, active 1812-1818, Irish judge