docs: static void removeDatabase(Database database) {
  
          int     dbID = database.databaseID;
          String  type = database.getType();
          String  path = database.getPath();
          // A VoltDB extension to work around ENG-6044
          /* disable 2 lines ...
          Object  key  = path;
          HashMap databaseMap;
             ... disabled 2 lines */
          // End of VoltDB extension
  
          notifyServers(database);
  
          // A VoltDB extension to work around ENG-6044
          /* disable 11 lines ...
          if (type == DatabaseURL.S_FILE) {
              databaseMap = fileDatabaseMap;
              key         = filePathToKey(path);
          } else if (type == DatabaseURL.S_RES) {
              databaseMap = resDatabaseMap;
          } else if (type == DatabaseURL.S_MEM) {
              databaseMap = memDatabaseMap;
          } else {
              throw (Error.runtimeError(
                  ErrorCode.U_S0500, "DatabaseManager.lookupDatabaseObject()"));
          }
             ... disabled 11 lines */
  
          assert(type == DatabaseURL.S_MEM);
          java.util.HashMap<String, Database> databaseMap = memDatabaseMap;
          String key = path;
          // End of VoltDB extension
  
          databaseIDMap.remove(dbID);
          databaseMap.remove(key);
  
          if (databaseIDMap.isEmpty()) {
              ValuePool.resetPool();
          }
      }