/** * Changes index name. Used by 'alter index rename to'. Argument isquoted is true if the name was * quoted in the DDL. */ void setName(String name, boolean isquoted) throws HsqlException { indexName.rename(name, isquoted); }