plugin_name=JGit HTTP Server provider_name=Eclipse.org