在tomcat7上运行着一个servlet，它通过Web服务调用第三方网站。在Windows机器上，该调用工作正常，但从tomcat运行时失败。Tomcat是否会自动使用Windows的代理设置？我加了

set JAVA_OPTS=%JAVA_OPTS% "-Dhttp.proxySet=true"
set JAVA_OPTS=%JAVA_OPTS% "-Dhttp.proxyHost=IP"
set JAVA_OPTS=%JAVA_OPTS% "-Dhttp.proxyPort=8080"

到CATALINA.BAT和

http.proxyHost=IP
http.proxyPort=8080

到catalina.properties，但仍然没有任何变化。我们如何将Tomcat设置为使用Windows的代理设置，并且有没有办法检查tomcat是否选择了指定的代理设置？