6789101112
/* */ class LockedSemRNG extends ExecutorRNG /* */ { /* */ public LockedSemRNG() /* */ { /* 2188 */ setDelegate(new NoSynchRNG()); /* 2189 */ setExecutor(new LockedExecutor(new Semaphore(1L))); /* */ }