Na linguagem Java, existe uma estrutura de controle de fluxo de execução que permite executar um bloco de código pelo menos uma vez e depois repeti-lo enquanto uma condição é verdadeira. Que estrutura é essa?