public void removeDatabaseVersion(DatabaseVersion databaseVersion) {
databaseVersions.remove(databaseVersion);
// Populate caches
// WARNING: Do NOT reorder, order important!!
updateFullDatabaseVersionCache();
updateDatabaseVersionIdCache();
updateFilenameHistoryCache();
updateContentChecksumCache();
}
