push
test
commit
Merge branch 'master' of https://github.com/jiajunwang/RMI_Facility.git

Conflicts:
	src/myRMI/MyRMI.java
	src/myRMI/RemoteObjectRef.java
	src/myRMI/SimpleRegistry.java
	src/myRMI/testRebind.java