[jbosstools-issues] [JBoss JIRA] (JBIDE-21853) bump version of SpringIDE 3.7.3 from CI to RELEASE