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