45678910
/* */ /* */ class PrioritySemRNG extends SyncDelegatedRNG /* */ { /* */ public PrioritySemRNG() /* */ { /* 1967 */ super(new PrioritySemaphore(1L)); /* */ }