addedfield:
bfMgr
db.buffers.BufferFileManager bfMgr
addedfield:
dbDir
java.io.File dbDir
addedmethod:
deleteDir
static boolean deleteDir(java.io.File dir)
addedmethod:
scanFiles
void scanFiles(boolean repair) throws FileNotFoundException
addedfield:
syncObject
java.lang.Object syncObject