synchronized ResourceAccess getRandomResource(List<ResourceAccess> resourceAccesses)
	{
		ResourceAccess result;
		Integer keys[] = new Integer[servers.size()];
		keys = servers.keySet().toArray(keys);
		do {
			int randomPos = Globals.random(0, servers.size() - 1);
			int resourceId = Globals.random(0, Globals.NOF_RESOURCES_PER_SERVER - 1);
			result = new ResourceAccess(servers.get(keys[randomPos]), keys[randomPos], resourceId);
		} while (resourceAccesses.contains(result));
		return result;
	}