I am using a local eclipse installation and want to update from the site
https://tools.hana.ondemand.com/neon
This results in an error. Reload gives
Error while reading from repository: https://tools.hana.ondemand.com/neon/site.xml.
proxy settings are manual without SOCKS configuration. https://tools.hana.ondemand.com/neon can be accessed in the eclipse browser.
How to fix the connection?