--- download.xml.sav	2007-08-26 14:44:25.000000000 +0200

+++ download.xml	2007-08-26 14:44:37.000000000 +0200

@@ -105,7 +105,9 @@

   <target name="do-http-download" unless="skip-download">

     <!-- set download.path if not set previously -->

     <property name="download.path" value="${download.name}/${download.name}/${download.version}" />

+<!--

     <setproxy proxyhost="${proxy.host}" proxyport="${proxy.port}"/>

+-->

     <get src="${repo.url}/${download.path}/${download.name}-${download.version}.jar"

          dest="${lib.dir}/${download.name}-${download.version}.jar"

          usetimestamp="false"