pluginName=GDB/MI CDI Debugger Core
providerName=Eclipse.org

GDBDebugger.name=GDB Debugger