private void UpdateMarketInfo()
{
HashSet <string> allTraders = new HashSet <string>();
foreach (string s in traders.Keys)
{
allTraders.Add(s);
}
theMarket.UpdateMarketInfo(allTraders, stockholder);
logger.LogMarketInfo(theMarket);
}