pluginName=JVM Monitor Tools
providerName=JvmMonitor.org
toolsPreferencePage.label=Tools