8687888990919293949596
boolean locked = false; try { while (!locked) { if (methodLock.attempt(5000, miTx, nonReentrant)) { locked = true; } else {
8990919293949596979899
5455565758596061626364
/* 89 */ boolean locked = false; /* */ try /* */ { /* 92 */ while (!locked) /* */ { /* 94 */ if (methodLock.attempt(5000L, miTx, nonReentrant)) /* */ { /* 96 */ locked = true; continue; /* */ } /* */ /* 100 */ if (!isTxExpired(miTx))