153154155156157158159160161162163
} }, new Registration() { @Override public void unregister() { executor.stop(); } }); } private BackgroundObserver createObserver(final WhiteboardExecutor executor) {
144145146147148149150151152153154
141142143144145146147148149150151