diff options
author | Florian Barbin | 2014-12-30 10:21:49 +0000 |
---|---|---|
committer | Florian Barbin | 2014-12-30 13:19:36 +0000 |
commit | df56a7f4f3595b9a32f6f47aaace4a75d16f6347 (patch) | |
tree | 5969ea8e3d32cdd590b9ab489a316fbeae6a4e0f /plugins/org.eclipse.sirius.sample.ecore.design/.settings/org.eclipse.jdt.core.prefs | |
parent | a51c313b1cc5d5983928757aa890fb56ce98c0c5 (diff) | |
download | org.eclipse.sirius-df56a7f4f3595b9a32f6f47aaace4a75d16f6347.tar.gz org.eclipse.sirius-df56a7f4f3595b9a32f6f47aaace4a75d16f6347.tar.xz org.eclipse.sirius-df56a7f4f3595b9a32f6f47aaace4a75d16f6347.zip |
[456318] Update JDT preferences to build workspace with Mars.
* Update JDT preferences to have a warning instead of error on
unnecessary type check
Bug: 456318
Change-Id: I213de81824c5e01334b0b28d44cdfcb826fc65b2
Signed-off-by: Florian Barbin <florian.barbin@obeo.fr>
Diffstat (limited to 'plugins/org.eclipse.sirius.sample.ecore.design/.settings/org.eclipse.jdt.core.prefs')
-rw-r--r-- | plugins/org.eclipse.sirius.sample.ecore.design/.settings/org.eclipse.jdt.core.prefs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/org.eclipse.sirius.sample.ecore.design/.settings/org.eclipse.jdt.core.prefs b/plugins/org.eclipse.sirius.sample.ecore.design/.settings/org.eclipse.jdt.core.prefs index a7b5ebe1d2..fc8c7f3ddc 100644 --- a/plugins/org.eclipse.sirius.sample.ecore.design/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/org.eclipse.sirius.sample.ecore.design/.settings/org.eclipse.jdt.core.prefs @@ -50,7 +50,7 @@ org.eclipse.jdt.core.compiler.problem.uncheckedTypeOperation=warning org.eclipse.jdt.core.compiler.problem.undocumentedEmptyBlock=ignore org.eclipse.jdt.core.compiler.problem.unhandledWarningToken=warning org.eclipse.jdt.core.compiler.problem.unnecessaryElse=ignore -org.eclipse.jdt.core.compiler.problem.unnecessaryTypeCheck=error +org.eclipse.jdt.core.compiler.problem.unnecessaryTypeCheck=warning org.eclipse.jdt.core.compiler.problem.unqualifiedFieldAccess=ignore org.eclipse.jdt.core.compiler.problem.unusedDeclaredThrownException=ignore org.eclipse.jdt.core.compiler.problem.unusedDeclaredThrownExceptionExemptExceptionAndThrowable=enabled |