Bug 545253 - Silence API error
The error reported were:
"The minor version should be the same for version 3.13.100, since no new
APIs have been added since version 3.12.0"
Change-Id: I4409b8429f608ce80137e0c78268fa45ab8d3bd8
Signed-off-by: Andrey Loskutov <loskutov@gmx.de>
diff --git a/org.eclipse.jdt.launching/.settings/.api_filters b/org.eclipse.jdt.launching/.settings/.api_filters
index 0da98d6..572f806 100644
--- a/org.eclipse.jdt.launching/.settings/.api_filters
+++ b/org.eclipse.jdt.launching/.settings/.api_filters
@@ -1,5 +1,13 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<component id="org.eclipse.jdt.launching" version="2">
+ <resource path="META-INF/MANIFEST.MF">
+ <filter comment="See bug 545253" id="926941240">
+ <message_arguments>
+ <message_argument value="3.13.100"/>
+ <message_argument value="3.12.0"/>
+ </message_arguments>
+ </filter>
+ </resource>
<resource path="launching/org/eclipse/jdt/launching/sourcelookup/LocalFileStorage.java" type="org.eclipse.jdt.launching.sourcelookup.LocalFileStorage">
<filter comment="Known illegal extension" id="571473929">
<message_arguments>