We recently (few weeks ago?) moved all JIRA issues over to JBoss Tools, the public JIRA board, from EXIN-xyz. Is it also about time we move most discussion back to jbosstools-dev at lists.jboss.org? - Rob