Merge pull request #4208 from dotty-staging/fix/4207

Fix #4207: Read whole zipfile before closing

Author: Duhemm

compiler/src/dotty/tools/dotc/interactive/InteractiveDriver.scala

@@ -132,10 +132,9 @@ class InteractiveDriver(val settings: List[String]) extends Driver {
 
     try {
       for {
-        entry <- zipFile.stream.iterator().asScala
+        entry <- zipFile.stream.toArray((size: Int) => new Array[ZipEntry](size))
         name = entry.getName
-        tastySuffix <- tastySuffixes
-        if name.endsWith(tastySuffix)
+        tastySuffix <- tastySuffixes.find(name.endsWith)
       } yield name.replace("/", ".").stripSuffix(tastySuffix)
     }
     finally zipFile.close()