Я ищу архив сайта или версию Spring Tools 4 для Eclipse. Я не вижу ни одного из перечисленных в разделе «Установка» в вики.