I'm at work and using a script to start/stop Tomcat, and the start works fine, but stop doesn't work. Judging by the error, it seems to be because they use a SOCKS proxy here at work...although I'm ...