From 5d39598025a124251ebdde662587edda2b14d39d Mon Sep 17 00:00:00 2001
From: Sam Brannen <104798+sbrannen@users.noreply.github.com>
Date: Fri, 24 May 2024 14:15:19 +0200
Subject: [PATCH] =?UTF-8?q?Disable=20warnings=20for=20unclosed=20@?=
 =?UTF-8?q?=E2=81=A0AutoCloseable=20in=20Eclipse?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/eclipse/org.eclipse.jdt.core.prefs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/eclipse/org.eclipse.jdt.core.prefs b/src/eclipse/org.eclipse.jdt.core.prefs
index 3b3666c96cd..0393b640338 100644
--- a/src/eclipse/org.eclipse.jdt.core.prefs
+++ b/src/eclipse/org.eclipse.jdt.core.prefs
@@ -90,7 +90,7 @@ org.eclipse.jdt.core.compiler.problem.syntheticAccessEmulation=ignore
 org.eclipse.jdt.core.compiler.problem.typeParameterHiding=warning
 org.eclipse.jdt.core.compiler.problem.unavoidableGenericTypeProblems=enabled
 org.eclipse.jdt.core.compiler.problem.uncheckedTypeOperation=warning
-org.eclipse.jdt.core.compiler.problem.unclosedCloseable=warning
+org.eclipse.jdt.core.compiler.problem.unclosedCloseable=ignore
 org.eclipse.jdt.core.compiler.problem.undocumentedEmptyBlock=ignore
 org.eclipse.jdt.core.compiler.problem.unhandledWarningToken=ignore
 org.eclipse.jdt.core.compiler.problem.unnecessaryElse=ignore