code: HsqlName getSchemaHsqlName(String name) {
          return name == null ? currentSchema
                              : database.schemaManager.getSchemaHsqlName(name);
      }
docs: If schemaName is null, return the current schema name, else return
  the HsqlName object for the schema. If schemaName does not exist,
  throw.