void lostContactWithServer(int id)
	{
		println("Contact with server " + id + " was lost.");
		// Notify all other known servers that the server with the given id is down.
		for (Integer key : servers.keySet()) {
			if (key != serverId) {
				try {
					servers.get(key).serverDisconnected(id, serverId);
				} catch (RemoteException re) {
				}
			}
		}
		// Then "notify" ourselves
		serverDisconnected(id);
		// Remove the server from the registry if possible
		try {
			registryProxy.unbind("server" + id);
		} catch (Exception ex) {
		}
	}