Por fim, não se diga que o Recorrente deveria ter optado pela ação de execução de sentença anulatória, pois tal não era possível no caso em apreço, dado que o ato anulado pelo Acórdão do Supremo Tribunal Administrativo, de 17 de junho de 2010, foi efetivamente revogado tendo sido substituído por outro que reconheceu a aposentação do ora Recorrente e ordenou o pagamento ainda que das pensões em conformidade, nada havendo, assim, para executar.