333                             c.reset();

   333                             c.reset();

   334 

   334 

   335                         c.await();

   335                         c.await();

   336                         shouldThrow();

   336                         shouldThrow();

   337                     }

   337                     }

   340                 }}});

   339                 }}});

   341 

   340 

   342         for (int i = 0; i < 4; i++) {

   341         for (int i = 0; i < 4; i++) {

   343             delay(timeoutMillis());

   342             delay(timeoutMillis());

   344             t.interrupt();

   343             t.interrupt();