[jbosstools-issues] [JBoss JIRA] Moved: (JBIDE-3744) EGT - BRMS-eclipse tool - remove option for BRMS repo may cause confusion over just is being deleted