[jbosstools-issues] [JBoss JIRA] Created: (JBIDE-4275) Remove duplicate "name" section for new servers