docs: public static void setDefaultExecutorService(
              ExecutorService defaultExecutorService) {
          // If the timer executor service is set to the default
          // executor service, adjust it to the new value as well.
          if (timerExecutorService == Components.defaultExecutorService) {
              timerExecutorService = defaultExecutorService;
          }
          Components.defaultExecutorService = defaultExecutorService;
      }