[Building Sakai] Cannot download source of indie tools. Source server error?

[=?GB2312?B?uN+sQg==?=]

Hi all,

I cannot download the source of indie tools, with 404 error. All these
tools are indie tools of 2.9 list on [1].

https://source.sakaiproject.org/svn/content-review/tags/content-review-2.9.4
https://source.sakaiproject.org/svn/jsf/tags/jsf-2.9.1
https://source.sakaiproject.org/svn/msgcntr/tags/msgcntr-2.9.0
https://source.sakaiproject.org/svn/profile/tags/profile-2.9.1
https://source.sakaiproject.org/svn/purepoms/tags/purepoms-2.9.1
https://source.sakaiproject.org/svn/sakai-mock/tags/mock-2.9.1

Is there some thing wrong with the source server ?

[1]
https://confluence.sakaiproject.org/display/DOC/Sakai+CLE+2.9+indie+projects

-- 
Gao Jun
Fudan University