public void contextDestroyed(ServletContextEvent ev) {
    // Shut down DSLAM-provider hieracy:
    {
      DSLAMProviderManagerFactory f = DefaultDSLAMProviderManagerFactory.getInstance();
      f.dispose(); // shut it all down!
    }

    stopScheduler();
    stopTerminal();

    statFlush();

    // shutdownThreadPools();
    shutdownThreadPoolsNow();
  }
  protected void ensureInitOfDefaultDSLAMProviderManager() {
    /*
     * Note:
     *   This forces class load of the default DSLAM-provider manager and
     *   implies initialization.
     *   In particular, this initialization may imply initialization of
     *   contained DSLAM-provider allocators.
     */

    DSLAMProviderManagerFactory f = DefaultDSLAMProviderManagerFactory.getInstance();

    try {
      DSLAMProviderManager m =
          f.getDSLAMProviderManager(); // yes, force classload of the default instance!
    } catch (IOException ex) {
      // Ignore!
    }
  }