public void shutdown() {
   pool.shutdown();
   schedulePool.shutdown();
 }
 /** Execute a Runnable using a background thread. */
 public void execute(Runnable r) {
   pool.execute(r);
 }