From 710983f113c95bfb253b62a22ae1e45bd4e76423 Mon Sep 17 00:00:00 2001
From: CodeLtDave <david@erdoes.de>
Date: Mon, 23 Oct 2023 14:54:23 +0200
Subject: [PATCH] Fix ZipFileStream

file stream is closed
---
 .../org/eclipse/core/internal/filesystem/zip/ZipFileStore.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/resources/examples/org.eclipse.ui.examples.filesystem/src/org/eclipse/core/internal/filesystem/zip/ZipFileStore.java b/resources/examples/org.eclipse.ui.examples.filesystem/src/org/eclipse/core/internal/filesystem/zip/ZipFileStore.java
index 51b80e02b8b..2e5c04b307f 100644
--- a/resources/examples/org.eclipse.ui.examples.filesystem/src/org/eclipse/core/internal/filesystem/zip/ZipFileStore.java
+++ b/resources/examples/org.eclipse.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()));