diff options
| author | Dani Megert | 2015-03-26 10:23:34 +0000 |
|---|---|---|
| committer | Dani Megert | 2015-03-26 10:23:34 +0000 |
| commit | 54a844a481778e461ed92633c6b381f0f9afe4c3 (patch) | |
| tree | e93b7b030c1a96bec0c13b869c35dce6ed54b226 /org.eclipse.debug.ui/.settings/org.eclipse.jdt.core.prefs | |
| parent | 806f20f55d3df063561e7333c9473bd45b9d649c (diff) | |
| download | eclipse.platform.debug-54a844a481778e461ed92633c6b381f0f9afe4c3.tar.gz eclipse.platform.debug-54a844a481778e461ed92633c6b381f0f9afe4c3.tar.xz eclipse.platform.debug-54a844a481778e461ed92633c6b381f0f9afe4c3.zip | |
Set try-with-resource diagnostic to warning.
Diffstat (limited to 'org.eclipse.debug.ui/.settings/org.eclipse.jdt.core.prefs')
| -rw-r--r-- | org.eclipse.debug.ui/.settings/org.eclipse.jdt.core.prefs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.debug.ui/.settings/org.eclipse.jdt.core.prefs b/org.eclipse.debug.ui/.settings/org.eclipse.jdt.core.prefs index 854ba028d..cac9e7248 100644 --- a/org.eclipse.debug.ui/.settings/org.eclipse.jdt.core.prefs +++ b/org.eclipse.debug.ui/.settings/org.eclipse.jdt.core.prefs @@ -35,7 +35,7 @@ org.eclipse.jdt.core.compiler.problem.deprecationWhenOverridingDeprecatedMethod= org.eclipse.jdt.core.compiler.problem.discouragedReference=warning org.eclipse.jdt.core.compiler.problem.emptyStatement=warning org.eclipse.jdt.core.compiler.problem.enumIdentifier=error -org.eclipse.jdt.core.compiler.problem.explicitlyClosedAutoCloseable=error +org.eclipse.jdt.core.compiler.problem.explicitlyClosedAutoCloseable=warning org.eclipse.jdt.core.compiler.problem.fallthroughCase=error org.eclipse.jdt.core.compiler.problem.fatalOptionalError=disabled org.eclipse.jdt.core.compiler.problem.fieldHiding=warning |