@Override public void notifySailChanged(SailChangedEvent event) { super.notifySailChanged(event); synchronized (syncSemaphore) { contentsChanged = contentsChanged || event.statementsAdded() || event.statementsRemoved(); } }
@Override public void notifySailChanged(SailChangedEvent event) { super.notifySailChanged(event); synchronized (syncSemaphore) { contentsChanged = contentsChanged || event.statementsAdded() || event.statementsRemoved(); } }