903904905906907908909910911912913
/* */ } /* */ else /* */ { /* */ try /* */ { /* 1279 */ S.packInt(lockCount); /* */ /* 1281 */ while ((current = this.locksHeld.pop()) != null) /* */ { /* 1283 */ current.get_uid().pack(S); /* */