In a country where international laws can be diverted optional choice of traditional laws, how judges formed?