proxy.properties

# Set these values if you are behind a firewall
proxy.host = your.proxy.goes.here
proxy.port = 8080