Processo Trabalhista IR nao pago pela empresa

Boa noite!

Um amigo meu, ganhou na justiça o valor total de R$ 95.000,00, na sentença IR Retido foi de R$ 9.853,50. Na verdade o período em que foi dado o vinculo empregatício, o empregado trabalhou sem carteira assinada ou seja nunca ocorreu a retenção. Ele ainda não recebeu o valor da ação, continua desempregado, tendo feito sua ultima declaração correspondente ao ano de 2015. A minha dúvida é, ele deve fazer a declaração neste ano normalmente? Outra pergunta, caso seja possível e indicado ele fazer a declaração, a possibilidade dele conseguir rever este valor retido?

Fico no aguardo,