Alterando o timezone em aplicações Java no Jelastic

Em um post anterior ensinei como alterar o horário do sistema utilizando variáveis de ambiente em um arquivo .bash_profile no Jelastic Cloud. Contudo, algumas pessoas reportaram que a alteração não funcionou em aplicações Java e perguntaram como executar a mesma modificação utilizando o Tomcat. O problema com aplicações Java…