Fix bug 12139: don't launch multiple 'save indexer cache' jobs at once. Also, just in case, always ignore .cproject as a resource that can trigger rebuilding configuration data.
<contexts>
<context id="hoverHelpContext">
<description>Hover Help Guide</description>
<topic href="resources/help context/dl_hover/html/getting_started.html" label="Overview"/>
<topic href="resources/help context/dl_hover/html/setup.html" label="Set Up"/>
<topic href="resources/help context/dl_hover/html/preferences.html" label="Preferences"/>
</context>
</contexts>