Also, if your team is spread thin, have you thought of mirroring on github. Their easy pull requests would probably bring about more developer input. It seems the eclipse foundation already has been on github for a long time: github,com/eclipse
I didn't even know that mirror was still there. We've transitioned to Git as the primary source control system. You can view the up to date repositories at http://git.eclipse.org/c/jsdt/ , which are most definitely cloneable. I also experienced issues with the mirrored repository you link to, but have had no such issues with the properly created ones.