613614615616617618619620621622623
} // stop the sequence reader thread sequenceReader.stopNow = true; sequenceReader.interrupt(); sequenceReader.join(); // Print statistics printStatistics(); // Finally also stop the memory checker thread