@Override
  public List<ConfigFile> getConfigFiles() {
    List<ConfigFile> result = myCachedConfigFiles;
    if (result == null) {
      result = List.copyOf(configFiles.values());
      myCachedConfigFiles = result;
    }
    return result;
  }
@Override
  public List<ConfigFile> getConfigFiles()