docs: void setScriptType(int type) {
  
          // OOo related code
          if (database.isStoredFileAccess()) {
              return;
          }
  
          // OOo end
          boolean needsCheckpoint = scriptFormat != type;
  
          scriptFormat = type;
  
          properties.setProperty(HsqlDatabaseProperties.hsqldb_script_format,
                                 String.valueOf(scriptFormat));
  
          if (needsCheckpoint) {
              database.logger.needsCheckpoint = true;
          }
      }