Как настроить параметры прокси, чтобы eclipse indigo мог устанавливать новые плагины

Я нашел это, но в моем случае это не сработало.

Я использую eclipse indigo SR1 в linux Fedora 32 бит. Он виртуализирован с помощью VMWare Player. Все приложения в этом linux работают, когда я настраиваю параметры прокси, кроме eclipse. Я получаю эту ошибку, которая, похоже, хорошо известна.

Я нашел это решение, которое я пробовал в своей среде, но оно не сработало. Когда я настраиваю параметры в eclipse.ini и запускаю eclipse, я получаю ошибки в журнале вроде этой:

!MESSAGE System property http.proxyHost has been set to 8080 by an external resource. This value will be overwritten using the values from preferences.

Как я могу заставить eclipse предпочитать конфигурации в eclipse.ini вместо панели предпочтений?

Есть у кого-нибудь идеи?

С уважением.