docs: public HsqlName newAutoName(String prefix, HsqlName schema,
                                  HsqlName parent, int type) {
  
          HsqlName name = newAutoName(prefix, (String) null, schema, parent,
                                      type);
  
          return name;
      }