plugin_name=JGit HTTP Server (Incubation) provider_name=Eclipse.org