private int compareViewID(ViewIdentity viewid1, ViewIdentity viewid2)
	{
		if (viewid1.getCounter().equals(viewid2.getCounter()))
		{
			if (viewid1.getProcid().getIp().compareTo(viewid2.getProcid().getIp() ) == 0 &&
					viewid1.getProcid().getPort() == viewid2.getProcid().getPort())
			{
				return 0;
			}
		}
		return 1;
	}