Fix ZipFileStream

file stream is closed
CodeLtDave · May 13, 2024 · 710983f · 710983f
1 parent 0196f11
commit 710983f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/...pse.ui.examples.filesystem/src/org/eclipse/core/internal/filesystem/zip/ZipFileStore.java b/...pse.ui.examples.filesystem/src/org/eclipse/core/internal/filesystem/zip/ZipFileStore.java
@@ -219,7 +219,8 @@ private boolean isParent(String parent, String child) {
 
 	@Override
 	public InputStream openInputStream(int options, IProgressMonitor monitor) throws CoreException {
-		try (ZipInputStream in = new ZipInputStream(rootStore.openInputStream(EFS.NONE, monitor))) {
+		try {
+			ZipInputStream in = new ZipInputStream(rootStore.openInputStream(EFS.NONE, monitor));
 			ZipEntry entry = findEntry(path.toString(), in);
 			if (entry == null) {
 				throw new CoreException(Status.error("File not found: " + rootStore.toString()));