[jbosstools-dev] Abridged JBoss Tools ?