public StringTableEnumerator(StringTable table) { this.table = table; }
public void Dispose() { table = null; }