boolean writeLockedHere = false;
boolean unWriteLockedHere = false;
boolean readLockedHere = false;
boolean unReadLockedHere = false;
Handler current = (Handler) handlerList.get(pos++);
if (current.requiresWriteLock()) {
if (!writeLocked) {
if (readLocked) {
model.leaveCriticalSection();
readLocked = false;
unReadLockedHere = true;