public void pause() { c.pause(); for (int i = 0; i < NUM_PHILS; i++) { philosophers[i].interrupt(); } }