5960616263646566
return t; } }); nodelayExecutor = new DirectExecutor(); scheduler = new Timer(true); }
567891011
/* */ class DirectExecutorRNG extends ExecutorRNG /* */ { /* */ public DirectExecutorRNG() /* */ { /* 2181 */ setDelegate(new PublicSynchRNG()); /* 2182 */ setExecutor(new DirectExecutor()); /* */ }
6061626364656667