public override void PopulateWithArgs(string[] stringArgs)
{
Contract.Requires(stringArgs != null);
Contract.Requires(stringArgs.Length == 1);
Contract.Requires(EventContractHelper.TryParseInt(stringArgs[0]));
NumberOfTokens = int.Parse(stringArgs[0]);
}