docs: private static synchronized void addDatabaseObject(String type,
              String path, Database db) {
  
          // A VoltDB extension to work around ENG-6044
          /* disable 15 lines ...
          Object  key = path;
  
          HashMap databaseMap;
  
          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.addDatabaseObject()");
          }
             ... disabled 15 lines */
  
          assert(type == DatabaseURL.S_MEM);
          java.util.HashMap<String, Database> databaseMap = memDatabaseMap;
          String key = path;
          // End of VoltDB extension
  
          databaseIDMap.put(db.databaseID, db);
          databaseMap.put(key, db);
      }