Fixing stuff
Merge branch 'DisconnectFixings' into Ex11

Conflicts:
	src/ddist/DistributedTextEditor.java