Juiz que aliviou a barra de Lula trabalhou para Gilmar