I have edited my config.properties file and this is how it looks:
# Network settings
# network.proxy.internal.disableJvmUseSystemProxy = false
# can be 'system' (system default proxy), 'manual' (should be set
manually below) or 'false' for no proxy.
network.proxy = manual
# set the following properties only if network.proxy is set to 'manual'
network.proxy.server = 188.8.131.52
network.proxy.port = 8080
# can be HTTP or SOCKS
network.proxy.type = HTTP
And now it works.
You received this message because you are subscribed to the Google Groups
To unsubscribe from this group and stop receiving emails from it, send an email
To post to this group, send email to firstname.lastname@example.org.
For more options, visit https://groups.google.com/groups/opt_out.