docs: private static void notifyServers(Database db) {
  
          Iterator it = serverMap.keySet().iterator();
  
          for (; it.hasNext(); ) {
              Server  server    = (Server) it.next();
              HashSet databases = (HashSet) serverMap.get(server);
  
              if (databases.contains(db)) {
  // A VoltDB extension to disable a package dependency
  /* disable 2 lines ...
                  server.notify(ServerConstants.SC_DATABASE_SHUTDOWN,
                                db.databaseID);
  ... disabled 2 lines */
  // End of VoltDB extension
              }
          }
      }