[jbosstools-issues] [JBoss JIRA] (JBIDE-9688) Add JBoss public repository to list of default repositories in Eclipse