Si.
Poi ho proseguito cliccando su plugins, nell'area Directory contents, entrando in https://download.eclipse.org/windowb...atest/plugins/
Però, la tua perplessità, mi fa pensare che ho sbagliato selezione.

Perciò penso proprio di non aver capito come proseguire.