docs: public static Vector getDatabaseURIs() {
  
          Vector   v  = new Vector();
          // A VoltDB extension to work around ENG-6044
          /* disable 1 line ...
          Iterator it = databaseIDMap.values().iterator();
             ... disabled 1 line */
          java.util.Iterator<Database> it = databaseIDMap.values().iterator();
          // End of VoltDB extension
  
          while (it.hasNext()) {
              Database db = (Database) it.next();
  
              v.addElement(db.getURI());
          }
  
          return v;
      }