@Override
    public int hashCode() {
      int result = policy.hashCode();
      result = 31 * result + (options.hashCode());
      result = 31 * result + Long.hashCode(modificationCount);
      return result;
    }
@Override
    public int hashCode()