Merge pull request #11 from heniancheng/master

merge
save
Merge branch 'master' of https://github.com/simpher/DCOPSolver.git
save
save
修正同步消息机制中导致算法阻塞在wait()的同步的一个bug
save
Merge remote-tracking branch 'upstream/master'

Conflicts:
	DCOPSolver/dfsTree.txt