String tZipFileName = mZipDir + "/DumpTables" + aTimestamp + ".zip";
File tFile = new File(tZipFileName);
FileOutputStream tFileOutputStream = new FileOutputStream(tFile.getPath());
mZipOutputStream = new ZipOutputStream(tFileOutputStream);
DirNavigator tNavigator = new DirNavigator(mTempDirPrefix + "/" + mTempDir, this);
tNavigator.unsetRecursively();
tNavigator.traverse();
mZipOutputStream.flush();
}
finally{
if (mZipOutputStream != null)