Windowsのantでproxyを越える方法

java ant

ダブルクォートが要らない点に注意。

>set ANT_OPTS=-Dhttp.proxyHost=proxy.host -Dhttp.proxyPort=8080 -Dhttp.proxyUser=user -Dhttp.proxyPassword
>ant xxxx