Many Java projects use Ant to automate their build process. Libgdx, for instance, is among them. One could possibly say Ant is the Java version of Make. Targets, dependencies and other settings are defined in XML scripts.
Downloading dependencies while your machine is behind a proxy might prove problematic. Luckily enough, you can specify your proxy settings inside the Ant script.
<setproxy proxyhost="host" proxyport="port" proxypassword="password"/>
Users behind a proxy would now be able to download dependencies with Ant. More documentation about the
setproxy task is available inside the official user manual.
This comes from me trying to get the Libgdx development environment in my office's desktop. We obviously have a proxy, which put this little bump on the road.