docs: void setSourceBaseList(Iterable<String> sourceBaseList) {
          for (String repos : sourceBaseList) {
              if (repos.endsWith(".zip") || repos.endsWith(".jar") || repos.endsWith(".z0p.gz")) {
                  // Zip or jar archive
                  try {
                      if (repos.startsWith("http:") || repos.startsWith("https:") || repos.startsWith("file:")) {
                          String url = SystemProperties.rewriteURLAccordingToProperties(repos);
                          repositoryList.add(makeInMemorySourceRepository(url));
                      } else {
                          repositoryList.add(new ZipSourceRepository(new ZipFile(repos)));
                      }
                  } catch (IOException e) {
                      // Ignored - we won't use this archive
                      AnalysisContext.logError("Unable to load " + repos, e);
                  }
              } else {
                  File dir = new File(repos);
                  if (dir.canRead() && dir.isDirectory()) {
                      repositoryList.add(new DirectorySourceRepository(repos));
                  } else {
                      AnalysisContext.logError("Unable to load " + repos);
  
                  }
              }
          }
      }