code: private void updateRepositories()
      {
          // Get values
          Stream<ExtensionRepositoryEntry> entryStream = this.repositoryMap.values().stream();
  
          // Sort
          entryStream = entryStream.sorted();
  
          // Convert to list of ExtensionRepository
          this.repositories = entryStream.map(ExtensionRepositoryEntry::getRepository).collect(Collectors.toList());
      }
docs: ExtensionRepositoryManager