Vorrei installare dal Marketplace di Eclipse un Plugin ma segnala "Unable to read repository at... Stream already closed", come posso fare?

Se stiamo usando Eclipse e vorremmo scaricare dal Marketplace un plugin da installare, dopo averlo individuato premiamo Install: 

 Si può verificare che compaia questo errore: Unable to read repository at https://raw.githubusercontent.com/TheGreatGooo/EclipsePrettierPlugin/master/EclipseUpdateSite/site.xml/content.xml. Stream already closed

in una finestra di questo tipo:

Da cosa è provocato questo problema, l'impossibilità ad accedere al Marketplace di Eclipse? Dipende probabilmente dal fatto che si è dietro ad un proxy aziendale o simile: come risolvere il problema?

Bisogna cliccare su Windows/Preferences e cercare "Network", per fare comparire una schermata analoga alla seguente:

Da qui bisognerà impostare Active Provider: Direct.

E poi rendere effettiva questa modifica cliccando su Apply and Close.

Ritornando sul Marketplace di Eclipse dovrebbe a questo punto essere possibile scaricare il Plugin che desideravamo installare.