This examples plug-in demonstrates the following features: 1. The helpContextProvider attribute of the org.eclipse.ui.ide.markerHelp extension point. - Start up a eclipse instance, execute command "Add Example Markers" and press Shift-F1 on the markers