Re: [jbosstools-dev] Abridged JBoss Tools ?