fix the bug in kill for manager
remove the debug printf
Merge branch 'master' into wj_dev

Conflicts:
	src/worker/WorkerNode.java