ant 设置代理问题

大家好，有人知道apache-ant下如何设置代理么？
我现在只知道如下命令格式：
set ANT_OPTS="-Dhttp.proxyHost=ip地址 -Dhttp.proxyPort=端口"
但在我这里还需要设置用户名和密码，不知如何设置，谢谢~~

  
再顶。

<target name="proxy" >
  <property name="proxy.host" value=""/>
  <property name="proxy.port" value="80"/>
  <property name="proxy.user" value=""/>
  <property name="proxy.pass" value=""/>
  <setproxy proxyhost="${proxy.host}" proxyport="${proxy.port}"
  proxyuser="${proxy.user}" proxypassword="${proxy.pass}"/>
  </target>