public void copyTo(Dictionary other)
{
base.copyTo(other);
other.aSpecifications = aSpecifications;
other.aRequirementSets = aRequirementSets;
other.aNameSpaces = aNameSpaces;
other.aNameSpaceRefs = aNameSpaceRefs;
other.aTests = aTests;
other.aTestRefs = aTestRefs;
other.aTranslationDictionary = aTranslationDictionary;
other.aShortcutDictionary = aShortcutDictionary;
other.aXsi = aXsi;
other.aXsiLocation = aXsiLocation;
}
