rms/org.eclipse.ptp.rm.pbs.ui/plugin.xml

<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.2"?>
<plugin>

   <extension
         point="org.eclipse.ui.preferencePages">
      <page
            category="org.eclipse.ptp.ui.preferences.rmPreferencesPage"
            class="org.eclipse.ptp.rm.pbs.ui.preferences.PBSPreferencePage"
            id="org.eclipse.ptp.pbs.ui.preferences.PBSPreferencePage"
            name="PBS">
      </page>
   </extension>
   <extension
         point="org.eclipse.ptp.launch.rmLaunchConfigurations">
      <launchConfiguration
            class="org.eclipse.ptp.rm.pbs.ui.launch.PBSRMLaunchConfigurationFactory"
            id="org.eclipse.ptp.pbs.ui.launchConfiguration"/>
   </extension>
   <extension
         point="org.eclipse.ptp.services.core.providers">
      <provider
            class="org.eclipse.ptp.rm.pbs.ui.PBSServiceProvider"
            id="org.eclipse.ptp.rm.pbs.PBSServiceProvider"
            name="PBS"
            serviceId="org.eclipse.ptp.core.LaunchService">
      </provider>
   </extension>
   <extension
         point="org.eclipse.ptp.services.ui.providerContributors">
      <providerContributor
            class="org.eclipse.ptp.rm.pbs.ui.PBSProviderContributor"
            id="org.eclipse.ptp.rm.pbs.PBSServiceProvider">
      </providerContributor>
   </extension>
</plugin>