Błąd połączenia z serwerem proxy w Libgdx

Korzystam z połączenia proxy na uniwersytecie, aby połączyć się z Internetem. Niedawno pobrałem Libgdx dla jednego z moich projektów. Niestety! nie rozpoznaje połączenia z moim portem proxy. Jak mogę połączyć się z Libgdx, aby pobierać biblioteki za pomocą ustawień proxy: port? Dzięki.

Przed wykonaniem: java -jar gdx-setup.jartrzeba będzie ustawić zmienną środowiskową JAVA_OPTS uruchamiając: export JAVA_OPTS="-Dhttp.proxyHost=myproxy -Dhttp.proxyPort=8080". Jeśli uruchamiasz klikając dwukrotnie plik jar, będziesz musiał skonfigurować systemową zmienną środowiskową. Nadzieja pomaga, pozdrawiam!