| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.4"?> |
| <plugin> |
| <extension |
| point="org.eclipse.ui.importWizards"> |
| <category |
| id="org.eclipse.ptp.rm.ResourceManagers" |
| name="Resource Managers"> |
| </category> |
| <wizard |
| category="org.eclipse.ptp.rm.ResourceManagers" |
| class="org.eclipse.ptp.rm.jaxb.ui.wizards.JAXBRMConfigurationImportWizard" |
| icon="icons/rm.gif" |
| id="org.eclipse.ptp.rm.jaxb.ui.wizards.JAXBRMConfigurationImportWizard" |
| name="Resource Manager Definition from Plug-in"> |
| <description> |
| Import XML configurations from the Resource Manager plug-ins to the workspace |
| </description> |
| </wizard> |
| </extension> |
| <extension |
| point="org.eclipse.ui.preferencePages"> |
| <page |
| category="org.eclipse.ptp.ui.preferences.rmPreferencesPage" |
| class="org.eclipse.ptp.rm.jaxb.ui.JAXBRMPreferencesPage" |
| id="org.eclipse.ptp.rm.jaxb.ui.JAXBRMPreferencesPage" |
| name="Configurable Resource Manager (JAXB)"> |
| </page> |
| </extension> |
| |
| </plugin> |