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