<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<component id="org.eclipse.ui.ide" version="2">
    <resource path="META-INF/MANIFEST.MF">
        <filter comment="API got backported from 4.8" id="924844039">
            <message_arguments>
                <message_argument value="3.13.1"/>
                <message_argument value="3.13.0"/>
            </message_arguments>
        </filter>
    </resource>
    <resource path="extensions/org/eclipse/ui/IMarkerResolutionRelevance.java" type="org.eclipse.ui.IMarkerResolutionRelevance">
        <filter comment="This API got backported from 4.8" id="1108344834">
            <message_arguments>
                <message_argument value="3.14"/>
                <message_argument value="3.13"/>
                <message_argument value="org.eclipse.ui.IMarkerResolutionRelevance"/>
            </message_arguments>
        </filter>
    </resource>
    <resource path="extensions/org/eclipse/ui/dialogs/WizardResourceImportPage.java" type="org.eclipse.ui.dialogs.WizardResourceImportPage">
        <filter comment="The type IElementFilter was moved to API" id="338792546">
            <message_arguments>
                <message_argument value="org.eclipse.ui.dialogs.WizardResourceImportPage"/>
                <message_argument value="getSelectedResources(IElementFilter, IProgressMonitor)"/>
            </message_arguments>
        </filter>
        <filter comment="The doc has always said this is not API" id="338940029">
            <message_arguments>
                <message_argument value="org.eclipse.ui.dialogs.WizardResourceImportPage"/>
                <message_argument value="selectionGroup"/>
            </message_arguments>
        </filter>
    </resource>
    <resource path="src/org/eclipse/ui/ide/IDE.java" type="org.eclipse.ui.ide.IDE$Preferences">
        <filter comment="Bug 413943 - [Workbench] Make &quot;instance/org.eclipse.ui.ide/WORKSPACE_NAME&quot; a public preference" id="403853384">
            <message_arguments>
                <message_argument value="org.eclipse.ui.ide.IDE.Preferences"/>
            </message_arguments>
        </filter>
    </resource>
</component>
