[jbosside-dev] JBossIDE installer discussion