svoid runWithExecutor(Runnable r, Executor e) {
  if (e == null)
    r.run();
  else
    e.execute(r);
}