public StReentrantLock() { nrlock = new StLock(); }
// // Constructors. // public StReentrantLock(int spinCount) { nrlock = new StLock(spinCount); }