public MinerData(MinerData source)
 {
     TheExecutionID  = source.TheExecutionID;
     TheSource       = source.TheSource;
     TheTextsNum     = source.TheTextsNum;
     ThePositivesNum = source.ThePositivesNum;
     TheNegativesNum = source.TheNegativesNum;
     TheBEExecution  = null;
 }
 public MinerData(int theBEExecID, SourceOption theSource)
 {
     TheExecutionID  = theBEExecID;
     TheSource       = theSource;
     TheTextsNum     = 0;
     ThePositivesNum = 0;
     TheNegativesNum = 0;
     TheBEExecution  = null;
 }