[jbosstools-issues] [JBoss JIRA] (JBIDE-10308) providername for JBoss Central is "JBoss Central" instead of "JBoss by Red hat" -- is it intentionally different?