Skip to content

Commit 7037333

Browse files
committed
Report unnecessary and unsupported warning suppressions at info level
Closes gh-418
1 parent 2ffd945 commit 7037333

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

Diff for: spring-javaformat-eclipse/io.spring.javaformat.eclipse/src/io/spring/javaformat/eclipse/projectsettings/org.eclipse.jdt.core.prefs

+2-2
Original file line numberDiff line numberDiff line change
@@ -82,7 +82,7 @@ org.eclipse.jdt.core.compiler.problem.typeParameterHiding=warning
8282
org.eclipse.jdt.core.compiler.problem.unavoidableGenericTypeProblems=enabled
8383
org.eclipse.jdt.core.compiler.problem.uncheckedTypeOperation=warning
8484
org.eclipse.jdt.core.compiler.problem.undocumentedEmptyBlock=ignore
85-
org.eclipse.jdt.core.compiler.problem.unhandledWarningToken=warning
85+
org.eclipse.jdt.core.compiler.problem.unhandledWarningToken=info
8686
org.eclipse.jdt.core.compiler.problem.unnecessaryElse=ignore
8787
org.eclipse.jdt.core.compiler.problem.unnecessaryTypeCheck=warning
8888
org.eclipse.jdt.core.compiler.problem.unqualifiedFieldAccess=ignore
@@ -99,7 +99,7 @@ org.eclipse.jdt.core.compiler.problem.unusedParameterIncludeDocCommentReference=
9999
org.eclipse.jdt.core.compiler.problem.unusedParameterWhenImplementingAbstract=disabled
100100
org.eclipse.jdt.core.compiler.problem.unusedParameterWhenOverridingConcrete=disabled
101101
org.eclipse.jdt.core.compiler.problem.unusedPrivateMember=warning
102-
org.eclipse.jdt.core.compiler.problem.unusedWarningToken=warning
102+
org.eclipse.jdt.core.compiler.problem.unusedWarningToken=info
103103
org.eclipse.jdt.core.compiler.problem.varargsArgumentNeedCast=warning
104104
org.eclipse.jdt.core.formatter.disabling_tag=@formatter\:off
105105
org.eclipse.jdt.core.formatter.enabling_tag=@formatter\:on

0 commit comments

Comments
 (0)