diff options
author | Manoj Palat | 2019-04-26 09:42:08 +0000 |
---|---|---|
committer | Manoj Palat | 2019-04-26 09:42:08 +0000 |
commit | 88b5b03c829c2a6d784db7adef0f9f18aca2116c (patch) | |
tree | 55e3940898b200f7962ccec06f540229565ef003 | |
parent | 8d7a3b6518962ae563556185a4be8fc8517bf0f4 (diff) | |
download | eclipse.jdt.core-88b5b03c829c2a6d784db7adef0f9f18aca2116c.tar.gz eclipse.jdt.core-88b5b03c829c2a6d784db7adef0f9f18aca2116c.tar.xz eclipse.jdt.core-88b5b03c829c2a6d784db7adef0f9f18aca2116c.zip |
reverting the api filter part of bug 545983 for the issue reported in
bug 546762
-rw-r--r-- | org.eclipse.jdt.core/.settings/.api_filters | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/org.eclipse.jdt.core/.settings/.api_filters b/org.eclipse.jdt.core/.settings/.api_filters index 02d584a2f1..26e4f57056 100644 --- a/org.eclipse.jdt.core/.settings/.api_filters +++ b/org.eclipse.jdt.core/.settings/.api_filters @@ -8,6 +8,15 @@ </message_arguments> </filter> </resource> + <resource path="compiler/org/eclipse/jdt/core/compiler/IProblem.java" type="org.eclipse.jdt.core.compiler.IProblem"> + <filter id="388194388"> + <message_arguments> + <message_argument value="org.eclipse.jdt.core.compiler.IProblem"/> + <message_argument value="IgnoreCategoriesMask"/> + <message_argument value="8388607"/> + </message_arguments> + </filter> + </resource> <resource path="dom/org/eclipse/jdt/core/dom/BreakStatement.java" type="org.eclipse.jdt.core.dom.BreakStatement"> <filter comment="For Java 12 support." id="336658481"> <message_arguments> |