} catch (RevisionAwareBufferUnderflowException nce) {
synchronized (readGuard) {
if (nce.getRevision() != notifyRevision.get()) {
continue;
} else {
throw new BufferUnderflowException(); // "jump" into catch (BufferUnderflowException)
}
}
}
} catch (BufferUnderflowException bue) {