Run the following before running Penrose tools:
export PENROSE_OPTS="-Dhttp.proxyHost=<proxy hostname> -Dhttp.proxyPort=<proxy port>"