Constitucional arrasta troca de juízes. Mandato é de 9 anos, mas chegar aos 10 garante pensão vitalícia