commit 41778afee1763cadaf482da57bee4bd691722a39
author Dani Megert <dmegert> Mon Oct 28 12:43:01 2013 +0100
committer Dani Megert <dmegert> Mon Oct 28 12:43:01 2013 +0100
tree 50f99629cfbf09b7a77390e3e09325f4b0628968
parent 11711d2728aadd7365a0f7182c8633090a085071

Resource leaks should be reported as 'Warning'

org.eclipse.jdt.debug/.settings/org.eclipse.jdt.core.prefs

diff --git a/org.eclipse.jdt.debug/.settings/org.eclipse.jdt.core.prefs b/org.eclipse.jdt.debug/.settings/org.eclipse.jdt.core.prefs
index c18dadc..0b81329 100644
--- a/org.eclipse.jdt.debug/.settings/org.eclipse.jdt.core.prefs
+++ b/org.eclipse.jdt.debug/.settings/org.eclipse.jdt.core.prefs
@@ -101,7 +101,7 @@
 org.eclipse.jdt.core.compiler.problem.typeParameterHiding=ignore

 org.eclipse.jdt.core.compiler.problem.unavoidableGenericTypeProblems=disabled

 org.eclipse.jdt.core.compiler.problem.uncheckedTypeOperation=error

-org.eclipse.jdt.core.compiler.problem.unclosedCloseable=ignore

+org.eclipse.jdt.core.compiler.problem.unclosedCloseable=warning

 org.eclipse.jdt.core.compiler.problem.undocumentedEmptyBlock=ignore

 org.eclipse.jdt.core.compiler.problem.unhandledWarningToken=error

 org.eclipse.jdt.core.compiler.problem.unnecessaryElse=error