final String newDatabaseName,
DatabaseConfig config)
throws DatabaseException, java.io.FileNotFoundException {
final Db db = DatabaseConfig.checkNull(config).createDatabase(null);
db.rename(fileName, oldDatabaseName, newDatabaseName, 0);
}
/**
Flush any cached information to disk.
<p>