public void Stop()
{
m_databaseFileWriter.Dispose();
m_databaseFileWriter = null;
m_databaseFileReader.Dispose();
m_databaseFileReader = null;
m_documentStore = null;
m_pendingTransaction.Clear();
m_pendingTransaction = null;
m_currentTransactionId = 0;
DBTimeStamp = 0;
}