<plugin>
   <extension
         point="org.eclipse.linuxtools.profiling.launch.launchProvider">
      <provider
            delegate="org.eclipse.linuxtools.internal.gcov.launch.GcovLaunchConfigurationDelegate"
            description="%gcovLaunchConfiguration.description"
            id="org.eclipse.linuxtools.profiling.provider.coverage.gcov"
            information="%gcovLaunchConfiguration.information"
            name="%gcovLaunchConfiguration.name.0"
            priority="1"
            shortcut="org.eclipse.linuxtools.internal.gcov.launch.GcovLaunchShortcut"
            tabgroup="org.eclipse.linuxtools.internal.gcov.launch.GcovLaunchConfigurationTabGroup"
            type="coverage">
      </provider>
   </extension>
</plugin>