Na linguagem Java, a cláusula de um método que fornece um mecanismo para garantir que algum código possa ser executado, independentemente de como a execução de um composto try é finalizada, é conhecido como: