Use this URL as an Eclipse plugin repository.