--- build.xml.original	2011-09-10 13:14:07.343192700 +0200
+++ build.xml	2011-09-10 13:15:07.409628300 +0200
@@ -25,9 +25,15 @@
 
 	<target name="getJFlexJar" depends="init">
 		<available property="jarExists" file="${jflexJar}" />
+		<antcall target="setHttpProxy" />
 		<antcall target="downloadAndUnpack" />
 	</target>
 	
+	<target name="setHttpProxy" if="http.proxyHost">
+		<echo message="proxy: - ${http.proxyHost}:${http.proxyPort}" />
+		<setproxy proxyhost="${http.proxyHost}" proxyport="${http.proxyPort}" />
+	</target>
+
 	<target name="downloadAndUnpack" unless="jarExists">
 		<get src="http://jflex.de/jflex-${jflexVersion}.zip" dest="${jflex.work.dir}/jflex-${jflexVersion}.zip" verbose="true" usetimestamp="true" />
 		<unzip src="${jflex.work.dir}/jflex-${jflexVersion}.zip" dest="${jflex.work.dir}" />