[submodule "JOJ3"]
	path = JOJ3
	url = ssh://git@focs.ji.sjtu.edu.cn:2222/FOCS-dev/JOJ3.git