Horario de verao no java / tomcat

Bom, se você chegou aqui porque está realmente com problemas de
horario de verao no tomcat, você tá na m****. Passei por esse problema
hoje e achei um post que supostamente resolve o problema. Levarei até
o final do horario de verao pra conseguir fazer funcionar o esquema,
mas estou postando mesmo assim, hehehe.

http://www.javafree.org/javabb/viewtopic.jbb?t=12070

[]'s