plugin_name=JGit HTTP Server
provider_name=Eclipse JGit
