code: @Override
      public final void stop() throws CoreException {
  
          // Manage design for extension
          customStop();
  
          // Stop the thread pool
          if (executorService() != null) {
              executorService().shutdown();
          }
  
          // Stop the high priority thread pool
          if (highPriorityExecutorService() != null) {
              highPriorityExecutorService().shutdown();
          }
      }
docs: {@inheritDoc}