ASSERT (left != right || leftHash != rightHash);
ASSERT (left == right || leftHash != rightHash);
	public boolean isLess(Object left, Object right)	{		int leftHash = left.hashCode ();		int rightHash = right.hashCode ();				ASSERT (left != right || leftHash != rightHash);		return left.hashCode () < right.hashCode ();	}