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