From 4c9c2e9d10bdc57f4d5d03209b17e2c81398dea0 Mon Sep 17 00:00:00 2001
From: Ed Merks <ed.merks@gmail.com>
Date: Sat, 5 Oct 2024 11:40:49 +0200
Subject: [PATCH] Filter problem of accidental extra version increment

https://github.com/eclipse-jdt/eclipse.jdt.ui/pull/1671
---
 org.eclipse.jdt.ui/.settings/.api_filters | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/org.eclipse.jdt.ui/.settings/.api_filters b/org.eclipse.jdt.ui/.settings/.api_filters
index b181190c4ad..38e810ff65b 100644
--- a/org.eclipse.jdt.ui/.settings/.api_filters
+++ b/org.eclipse.jdt.ui/.settings/.api_filters
@@ -1,5 +1,13 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <component id="org.eclipse.jdt.ui" version="2">
+    <resource path="META-INF/MANIFEST.MF">
+        <filter comment="The version was accidentially increased twice but it ended up in an I-build so we have to live with the problem: https://github.com/eclipse-jdt/eclipse.jdt.ui/pull/1671" id="931135546">
+            <message_arguments>
+                <message_argument value="3.33.200"/>
+                <message_argument value="3.33.0"/>
+            </message_arguments>
+        </filter>
+    </resource>
     <resource path="internal compatibility/org/eclipse/jdt/internal/corext/SourceRange.java" type="org.eclipse.jdt.internal.corext.SourceRange">
         <filter id="574619656">
             <message_arguments>