Consideramos que o acórdão em questão resolveu com acerto a divergência existente, pelo que, por força da sua ponderação, haverá que declarar extinta a instância por inutilidade superveniente da lide.