static public void AddToStringTable(IntMapper <UnicodeString> strings, UnicodeString str) { strings.Add(str); }