我试图在eclipse（spring工具套件）中添加服务器，但遇到以下错误：
“无法访问主机[int.sap.eu2.hana.ondemand.com]。检查主机名是否有键入错误，并确保代理和网络设置正确。“
我看到有人在过去贴过这个问题，但我似乎无法以任何方式解决它。我已连接到sap网络，并且可以通过eclipse内部浏览器访问“int.sap.eu2.hana.ondemand.com”。但是，当尝试通过新的服务器标签，这是我看到的！我绝对没有拼写错误或网络问题。请帮忙