Discovery: (DiscTest.java)
        broadcast/receive       10
        getting stub            10

Message:
	duplicate message check (Test1.java)	10
	run in thread (Test2.java)		10
	choose target clients randomly (Test4.java) 10
	add client in passThrough set (Test5.java)  10

Robustness:
	handle RemoteException (Test3.java)	10
	deadlock test (Test6.java)	10
	complete submission	10	
	(means compiles and runs without changes)

Except as noted, all features are tested using the distributed
public test driver Counting.java .