Pelo exposto, julga-se procedente o recurso, revogando-se o saneador-sentença recorrido que se substitui por este acórdão que julga procedente os embargos, com a consequente extinção da execução, por se ter verificado a falta de citação dos réus na acção declarativa de que procede a sentença que está a ser executada.