Il sorteggio dei giudici è fatto dalla Corte tre mesi prima della scadenza del predetto termine di nove anni.
In caso di vacanza dovuta alla scadenza del termine di dodici anni o ad altra causa la sostituzione avviene entro un mese dalla vacanza stessa.
I giudici che sono nominati alla scadenza dei dodici anni dalla prima formazione della Corte si rinnovano, decorsi nove anni, mediante sorteggio di