pluginName=SystemTap GUI Documentation
providerName=Eclipse Linux Tools