plugin_name=JGit Archive Formats
provider_name=Eclipse JGit
