Fiquei com duvida nessa parte, fiz uma pesquisa e entendi que esse arquivo serve para fazer configurações no tomcat, mas não entendi como chegou nesse nome de variavel "senha" e qual a finalidade do comando "export". Queria quem pudessem me explicar essa linha que foi escrita dentro do arquivo na aula 04. Obrigado.