*/
// TODO [medium] Do we still have to check for ">="? Isn't "=" enough? We should have full database branches here, because we stitch them before.
private boolean isGreaterOrEqualDatabaseVersionHeaderInAllDatabaseBranches(DatabaseVersionHeader localDatabaseVersionHeader,
DatabaseBranches remoteDatabaseVersionHeaders) {
VectorClock localVectorClock = localDatabaseVersionHeader.getVectorClock();
Set<String> remoteClients = remoteDatabaseVersionHeaders.getClients();
for (String currentRemoteClient : remoteClients) {
DatabaseBranch remoteBranch = remoteDatabaseVersionHeaders.getBranch(currentRemoteClient);
boolean foundInCurrentClient = false;
for (DatabaseVersionHeader remoteDatabaseVersionHeader : remoteBranch.getAll()) {
VectorClock remoteVectorClock = remoteDatabaseVersionHeader.getVectorClock();
VectorClockComparison remoteVsLocalVectorClockComparison = VectorClock.compare(remoteVectorClock, localVectorClock);
if (remoteVsLocalVectorClockComparison == VectorClockComparison.GREATER
|| remoteVsLocalVectorClockComparison == VectorClockComparison.EQUAL) {