//public int CompressedHeaderLength { get; set; } public void Dispose() { if (isDisposed) { return; } headerLookup.Clear(); HeaderOrder.Clear(); RawHeader.Close(); RawHeader.Dispose(); isDisposed = true; }