| <?xml version="1.0" encoding="UTF-8" standalone="no"?> |
| <component id="org.eclipse.ui.ide" version="2"> |
| <resource path="META-INF/MANIFEST.MF" type="org.eclipse.ui.views.tasklist.TaskList"> |
| <filter comment="Planned removal of TaskList, for details see bug 436506" id="305324134"> |
| <message_arguments> |
| <message_argument value="org.eclipse.ui.views.tasklist.TaskList"/> |
| <message_argument value="org.eclipse.ui.ide_3.14.0"/> |
| </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 "instance/org.eclipse.ui.ide/WORKSPACE_NAME" a public preference" id="403853384"> |
| <message_arguments> |
| <message_argument value="org.eclipse.ui.ide.IDE.Preferences"/> |
| </message_arguments> |
| </filter> |
| </resource> |
| </component> |