por favor, verifique se essas opções de catalina estão carregadas e onde. É mais seguro usar java_opts ou criar uma variável de ambiente JAVA_OPTS com esse valor "-Dhttp.proxyHost = proxy.com -Dhttp.proxyPort = 8080". Também verifique se você sabe o que é o JRE. Às vezes o tomcat carrega um dos seus. Eu usei em ambos os sentidos e funcionou. Você também pode configurar o proxy dinamicamente em tempo de execução, mas isso é desagradável.
Felicidades, Nicu