} else if (currentLedger.ledger.getId() != w.getWriteLedger().ledger.getId()) { w.setWriteLedger(currentLedger); anythingChanged = true;
} else if (currentLedger.ledger.getId() != w.getWriteLedger().ledger.getId()) { w.setWriteLedger(currentLedger); anythingChanged = true;