[jbosstools-issues] [JBoss JIRA] Updated: (JBIDE-9431) Missing provider name and bad plug-in name :: org.jboss.ide.eclipse.as.jmx.integration