Hello, I have setup a VM machine with Centos 7. In order to access the internet I use a proxy. On running java -Dhttp.proxyHost=<proxy> -Dhttp.proxyPort=<proxy port> -jar OKMInstaller.jar I get the following error: - Downloading Tomcat: 8.5.24 ERROR: sourceforge.net: Name or service not known The OK...