Ainda que tenha sido aposentado na vigência da Lei 6.903/1981 (aposentadoria estatutária), o juiz classista não faz jus à integralização de proventos proporcionais quando acometido por doença especificada na Lei 8112/1990 após a revogação da Lei 6.903/1981.