Repositorio spring

Front-end
#1

Fala galera,

estou com dificuldade para encontra o repositório do spring, para fazer o update direto do eclipse, conheço esse ,
http://springide.org/updatesite, mas ta acusando que não exite. Alguem conhece outro?

#2