docs: private static void deRegisterServer(Server server, Database db) {
  
          Iterator it = serverMap.values().iterator();
  
          for (; it.hasNext(); ) {
              HashSet databases = (HashSet) it.next();
  
              databases.remove(db);
  
              if (databases.isEmpty()) {
                  it.remove();
              }
          }
      }