diff options
author | Mike Rennie | 2013-08-19 17:16:02 +0000 |
---|---|---|
committer | Mike Rennie | 2013-08-19 17:16:02 +0000 |
commit | 8c45a225d6e280c0c8fd1cfe5744ff56c48c75a1 (patch) | |
tree | 18b481544c2ca5e68640007438ef1ec106455883 /org.eclipse.debug.examples.ui | |
parent | 779bd79172850c4a8bb5cc170b763cde5c62457d (diff) | |
download | eclipse.platform.debug-8c45a225d6e280c0c8fd1cfe5744ff56c48c75a1.tar.gz eclipse.platform.debug-8c45a225d6e280c0c8fd1cfe5744ff56c48c75a1.tar.xz eclipse.platform.debug-8c45a225d6e280c0c8fd1cfe5744ff56c48c75a1.zip |
[nobug] removed unused SuppressWarnings + sync / update compilerI20130820-0800
settings
Diffstat (limited to 'org.eclipse.debug.examples.ui')
-rw-r--r-- | org.eclipse.debug.examples.ui/.settings/org.eclipse.jdt.core.prefs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/org.eclipse.debug.examples.ui/.settings/org.eclipse.jdt.core.prefs b/org.eclipse.debug.examples.ui/.settings/org.eclipse.jdt.core.prefs index 959cc54a4..a627d3617 100644 --- a/org.eclipse.debug.examples.ui/.settings/org.eclipse.jdt.core.prefs +++ b/org.eclipse.debug.examples.ui/.settings/org.eclipse.jdt.core.prefs @@ -56,7 +56,7 @@ org.eclipse.jdt.core.compiler.problem.methodWithConstructorName=warning org.eclipse.jdt.core.compiler.problem.missingDefaultCase=warning org.eclipse.jdt.core.compiler.problem.missingDeprecatedAnnotation=warning org.eclipse.jdt.core.compiler.problem.missingEnumCaseDespiteDefault=disabled -org.eclipse.jdt.core.compiler.problem.missingHashCodeMethod=error +org.eclipse.jdt.core.compiler.problem.missingHashCodeMethod=warning org.eclipse.jdt.core.compiler.problem.missingJavadocComments=ignore org.eclipse.jdt.core.compiler.problem.missingJavadocCommentsOverriding=enabled org.eclipse.jdt.core.compiler.problem.missingJavadocCommentsVisibility=public @@ -119,7 +119,7 @@ org.eclipse.jdt.core.compiler.problem.unusedParameterWhenImplementingAbstract=di org.eclipse.jdt.core.compiler.problem.unusedParameterWhenOverridingConcrete=disabled org.eclipse.jdt.core.compiler.problem.unusedPrivateMember=error org.eclipse.jdt.core.compiler.problem.unusedTypeParameter=ignore -org.eclipse.jdt.core.compiler.problem.unusedWarningToken=error +org.eclipse.jdt.core.compiler.problem.unusedWarningToken=warning org.eclipse.jdt.core.compiler.problem.varargsArgumentNeedCast=warning org.eclipse.jdt.core.compiler.source=1.6 org.eclipse.jdt.core.compiler.taskCaseSensitive=enabled |