docs: public void setURLProperties(HsqlProperties p) {
  
          if (p != null) {
              for (Enumeration e = p.propertyNames(); e.hasMoreElements(); ) {
                  String   propertyName = (String) e.nextElement();
                  Object[] row          = (Object[]) meta.get(propertyName);
  
                  if (row != null
                          && (db_readonly.equals(propertyName)
                              || ((Integer) row[indexType]).intValue()
                                 == SET_PROPERTY)) {
  
                      // can add error checking with defaults
                      setProperty(propertyName, p.getProperty(propertyName));
                  }
              }
          }
      }