Altera o Decreto-lei nº 4.271, de 17 de abril de 1942.