36373839404142
public ThreadSafeOperationRegistry() { super(); // Create an upgradable reader/writer lock. lock = new RWLock(true); }
14151617181920
/* */ { /* */ private RWLock lock; /* */ /* */ public ThreadSafeOperationRegistry() /* */ { /* 49 */ this.lock = new RWLock(true); /* */ }