used fully classified class name of NxBRE.Util.HashSet to avoid collision with HashSet introduced in .NET 3.5