use Collection library

njit-jerse · Dec 1, 2023 · 782646f · 782646f
1 parent 86aa443
commit 782646f
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/main/java/org/checkerframework/specimin/SpeciminRunner.java b/src/main/java/org/checkerframework/specimin/SpeciminRunner.java
@@ -17,6 +17,7 @@
 import java.nio.charset.StandardCharsets;
 import java.nio.file.Files;
 import java.nio.file.Path;
+import java.util.Collection;
 import java.util.HashMap;
 import java.util.HashSet;
 import java.util.List;
@@ -130,8 +131,7 @@ public static void performMinimization(
       cu.accept(finder, null);
     }
     Set<String> setOfUsedAndUnsolvedFile = finder.getListOfUsedYetUnsolvedFile();
-    parsedTargetFiles.putAll(
-        getUpdateParsedTargetFiles(setOfUsedAndUnsolvedFile.stream().toList(), root));
+    parsedTargetFiles.putAll(getUpdateParsedTargetFiles(setOfUsedAndUnsolvedFile, root));
     createdClass.addAll(
         updateSyntheticFiles(addMissingClass, parsedTargetFiles, targetFiles, root));
     parsedTargetFiles = getUpdateParsedTargetFiles(targetFiles, root);
@@ -237,7 +237,7 @@ public static void performMinimization(
    * @return parsedTargetFiles an updated version of parsedTargetFiles
    */
   public static Map<String, CompilationUnit> getUpdateParsedTargetFiles(
-      List<String> targetFiles, String root) throws IOException {
+      Collection<String> targetFiles, String root) throws IOException {
     Map<String, CompilationUnit> parsedTargetFiles = new HashMap<>();
     for (String targetFile : targetFiles) {
       parsedTargetFiles.put(targetFile, parseJavaFile(root, targetFile));